--- title: "Yahui Liu — author profile and papers — Elamur Research" description: "Yahui Liu: 2 papers on Elamur Research (2025) — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/yahui-liu/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yahui-liu/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Yahui Liu # Yahui Liu Yahui Liu has 2 papers in our library, in 2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Fuzheng Zhang](https://md.research.elamur.ai/free/en/authors/fuzheng-zhang/), [Defu Lian](https://md.research.elamur.ai/free/en/authors/defu-lian/), [Di Zhang](https://md.research.elamur.ai/free/en/authors/di-zhang/). 2 papers in our library · 2025 No OpenAlex profile matched yet. [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/yahui-liu/#papers) · [🔗 Cited 32 times in our library](https://md.research.elamur.ai/free/en/authors/yahui-liu/cited-by/) · [⭐ Paper Stars ranking: #10386](https://md.research.elamur.ai/free/en/paper-stars/page/104/#star-10386) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Yahui+Liu) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Yahui+Liu) · [dblp](https://dblp.org/search?q=Yahui+Liu) · [ACL Anthology](https://aclanthology.org/search/?q=Yahui+Liu) ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/yahui-liu/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[Leanabell-Prover: Posttraining Scaling in Formal Reasoning](https://md.research.elamur.ai/free/en/papers/zhang-2025-leanabell-prover-posttraining-scaling-formal/)** *(2025 · 21 citations)* Reasoning models such as OpenAI O1/O3 and Deepseek R1 have gained a lot from posttraining scaling. Automated theorem proving (ATP) in Lean 4 has seen little of that benefit so far. This work, from Kuaishou Technology, asks whether the same recipe helps provers that write a complete proof in one pass. 2. **[What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought Reasoning](https://md.research.elamur.ai/free/en/papers/jiang-2025-what-makes-good-reasoning-chain/)** *(2025 · 11 citations)* Long chain-of-thought (LCoT) reasoning lets LLMs solve hard problems, but it is unclear which properties of a reasoning trace indicate that the final answer will be right. ## Co-authors here 11 co-authors with a page, the most papers together first. - [Fuzheng Zhang](https://md.research.elamur.ai/free/en/authors/fuzheng-zhang/) ×2 - [Defu Lian](https://md.research.elamur.ai/free/en/authors/defu-lian/) - [Di Zhang](https://md.research.elamur.ai/free/en/authors/di-zhang/) - [Guorui Zhou](https://md.research.elamur.ai/free/en/authors/guorui-zhou/) - [Jingyuan Zhang](https://md.research.elamur.ai/free/en/authors/jingyuan-zhang/) - [Kun Gai](https://md.research.elamur.ai/free/en/authors/kun-gai/) - [Linqi Song](https://md.research.elamur.ai/free/en/authors/linqi-song/) - [Wei Bi](https://md.research.elamur.ai/free/en/authors/wei-bi/) - [Yang Yue](https://md.research.elamur.ai/free/en/authors/yang-yue/) - [Ying Wei](https://md.research.elamur.ai/free/en/authors/ying-wei/) - [Zhaoyi Li](https://md.research.elamur.ai/free/en/authors/zhaoyi-li/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/): [EMNLP 2025](https://md.research.elamur.ai/free/en/venues/emnlp/2025/) ## Cited by Papers of our library cite their works 32 times (of the 149,439 papers whose bibliographies we read); [17 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/yahui-liu/cited-by/). Updated 3 November 2026