Yahui Liu

Yahui Liu has 2 papers in our library, in 2025, most of them on Reasoning; often with Fuzheng Zhang, Defu Lian, Di Zhang.

2 papers in our library · 2025

No OpenAlex profile matched yet.

The profile is the library's match of the name; two people with one name are not always told apart.

Fields, topics and concepts

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

The most cited first (OpenAlex and our library).

Leanabell-Prover: Posttraining Scaling in Formal Reasoning (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.
What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought Reasoning (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.

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

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

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 →.

Updated 3 November 2026