🧑🔬 Yahui Liu — papers of 2025 — 2 papers, the most cited first2 papers · all years of Yahui LiuLeanabell-Prover: Posttraining Scaling in Formal ReasoningarXiv:2504.06122Jingyuan Zhang, Qi Wang, Xingguang Ji, et al.2025 · 21 citationsWhat Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Gangwei Jiang, Yahui Liu, Zhaoyi Li, et al.2025 · 11 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yahui-liu/year/2025/