Elamur Research⌕
☰
home / authors / Zhengying Liu

Zhengying Liu

Zhengying Liu has 2 papers in our library, in 2023–2024, most of them on Language models & pretraining, Reasoning; often with James Tin-Yau Kwok, Jianqiao Lu, Jing Xiong.

2 papers in our library · 2023–2024

OpenAlex · ORCID · h-index 16 · 66 works · 783 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 987 times in our library · 10 more in our library without a page yet · ⭐ Paper Stars ranking: #3527

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

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Peking UniversityBeijing · China2021–2026 · 20 paperscurrent🏛️Ministry of Natural ResourcesBeijing · China2022–2026 · 12 paperscurrent🏢State Grid Corporation of ChinaBeijing · China2025–2026 · 2 paperscurrent🏢Huawei TechnologiesShenzhen · China2023–2024 · 10 papers🎓Université Paris-SaclayGif-sur-Yvette · France2019–2022 · 7 papers🔬TAU: IA : vers des problèmes mieux posésSaclay · France2018–2022 · 6 papers🎓Eindhoven University of TechnologyEindhoven · Netherlands2020–2021 · 6 papers🎓Université Paris-SudOrsay · France2018–2023 · 4 papers🔬Laboratoire Interdisciplinaire des Sciences du NumériqueGif-sur-Yvette · France2020–2022 · 3 papers🎓Tsinghua UniversityBeijing · China2022–2023 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 5 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 6The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 2 worksComputer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksLanguage and Linguistics · 2 worksMathematics · 1 work

🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 1 workReasoning · 1 work

 Works by year

2020s

20241 paper20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models (2023 · 565 citations)
    Open-source LLMs such as LLaMA-2 lag well behind closed models on multi-step maths word problems. Fine-tuning helps, but it depends on having enough varied training questions. MetaMath addresses this by growing the GSM8K and MATH training sets from the question side as well as the answer side, producing a dataset…
  2. FormalAlign: Automated Alignment Evaluation for Autoformalization (2024 · 18 citations)
    Autoformalization uses models to turn informal mathematical statements into formal code such as Lean 4. A key weakness is evaluation. Compilers only confirm that the output is valid code, and BLEU or BERTscore only measure surface or embedding similarity. Neither checks whether the formal statement actually means the…

All works

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

  1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
  2. Progressive-Hint Prompting Improves Reasoning in Large Language Models ↗arXiv:2304.09797 · no summary yetChuanyang Zheng et al.2023 · 131 citations
  3. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning ↗arXiv:2504.11354 · no summary yetHaiming Wang et al.2025 · 92 citations
  4. LEGO-Prover: Neural Theorem Proving with Growing Libraries ↗arXiv:2310.00656 · no summary yetHaiming Wang et al.2023 · 79 citations
  5. Forward-Backward Reasoning in Large Language Models for Mathematical Verification ↗Findings of the Association for Computational Linguistics: ACL 2024 · no summary yetWeisen Jiang et al.2024 · 44 citations
  6. DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ↗Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yetHaiming Wang et al.2023 · 40 citations
  7. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ↗arXiv:2402.08957 (ICLR 2024 spotlight) · no summary yetYinya Huang et al.2024 · 29 citations
  8. Lyra: Orchestrating Dual Correction in Automated Theorem Proving ↗arXiv:2309.15806 · no summary yetChuanyang Zheng et al.2023 · 24 citations
  9. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models ↗Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · no summary yetJing Xiong et al.2023 · 21 citations
  10. CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics ↗arXiv:2505.03171 · no summary yetJunqi Liu et al.2025 · 20 citations
  11. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
  12. Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification ↗arXiv:2504.21230 · no summary yetMarco Dos Santos et al.2025 · 14 citations

 Co-authors here

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

 Cited by

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

Updated

↑ back to top

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