🧑🔬 Huaiyuan Ying — papers of 2024 — 3 papers, the most cited first3 papers · all years of Huaiyuan YingInternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citationsLean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citationsInternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided SearcharXiv:2410.15700Zijian Wu, Suozhi Huang, Zhejian Zhou, et al.2024 · 59 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/huaiyuan-ying/year/2024/