From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 79 more institutions on single bylines are not listed.

Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 5Computer Science · 2 works Artificial Intelligence · 2 works Computational Theory and Mathematics · 1 work Arts and Humanities · 1 work Language and Linguistics · 1 work

🧭 Topics 2Reasoning · 1 work Language models & pretraining · 1 work

Works by year

2020s

20241 paper 20231 paper

Papers

The most cited first (OpenAlex and our library).

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving (2024 · 25 citations)
Formal theorem proving in LEAN4 remains difficult for language models. The search space is enormous, and there is little supervised data: mathlib4 provides only about 50k theorems with tactics. HunyuanProver addresses this by fine-tuning the Hunyuan 7B model with two components. The first is a low-cost, iterative…
ConPET: Continual Parameter-Efficient Tuning for Large Language Models (2023 · 14 citations)
Adapting large language models to a stream of new tasks is costly when every update changes all weights. Full fine-tuning also tends to erase skills learned on earlier tasks, a problem known as catastrophic forgetting. Song et al. propose ConPET, a framework for continual task adaptation of LLMs in which training…

All works

3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

Co-authors here

11 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

Nature

Cited by

Papers of our library cite their works 37 times (of the 149,439 papers whose bibliographies we read); 4 citing papers with a page here →.

Updated 1 November 2026

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/tao-yang/

🧑‍🔬 Tao Yang

🏛️ Affiliations

🧭 Fields, topics and concepts

📅 Works by year

2020s

📄 Papers

All works

🤝 Co-authors here

Venues

🔗 Cited by

Tao Yang

Affiliations

Fields, topics and concepts

Works by year

Papers

Co-authors here

Cited by