--- title: "Zhengying Liu — author profile and papers — Elamur Research" description: "Zhengying Liu, State Grid Corporation of China: 2 papers on Elamur Research (2023–2024), h-index 16 — affiliations, topics, co-authors and…" canonical: "https://research.elamur.ai/free/en/authors/zhengying-liu/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/zhengying-liu/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Zhengying Liu # Zhengying Liu Zhengying Liu has 2 papers in our library, in 2023–2024, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [James Tin-Yau Kwok](https://md.research.elamur.ai/free/en/authors/james-tin-yau-kwok/), [Jianqiao Lu](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/), [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/). 2 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5103122307) · [ORCID](https://orcid.org/0000-0002-3576-6810) · [**h-index 16**](https://openalex.org/authors/A5103122307) · [66 works](https://openalex.org/works?filter=author.id:A5103122307) · [783 citations](https://openalex.org/works?filter=author.id:A5103122307&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/zhengying-liu/#papers) · [🔗 Cited 987 times in our library](https://md.research.elamur.ai/free/en/authors/zhengying-liu/cited-by/) · [10 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #3527](https://md.research.elamur.ai/free/en/paper-stars/page/36/#star-3527) 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=Zhengying+Liu) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Zhengying+Liu) · [dblp](https://dblp.org/search?q=Zhengying+Liu) · [ACL Anthology](https://aclanthology.org/search/?q=Zhengying+Liu) ## Affiliations [🎓**Peking University** Beijing · China 2021–2026 · 20 papers*current*](https://md.research.elamur.ai/free/en/universities/peking-university/) · [🏛️**Ministry of Natural Resources** Beijing · China 2022–2026 · 12 papers*current*](https://ror.org/02kxqx159) · [🏢**State Grid Corporation of China** Beijing · China 2025–2026 · 2 papers*current*](https://md.research.elamur.ai/free/en/companies/state-grid-corporation-of-china/) · [🏢**Huawei Technologies** Shenzhen · China 2023–2024 · 10 papers](https://md.research.elamur.ai/free/en/companies/huawei-technologies/) · [🎓**Université Paris-Saclay** Gif-sur-Yvette · France 2019–2022 · 7 papers](https://md.research.elamur.ai/free/en/universities/universite-paris-saclay/) · [🔬**TAU: IA : vers des problèmes mieux posés** Saclay · France 2018–2022 · 6 papers](https://ror.org/031y5kf09) · [🎓**Eindhoven University of Technology** Eindhoven · Netherlands 2020–2021 · 6 papers](https://md.research.elamur.ai/free/en/universities/eindhoven-university-of-technology/) · [🎓**Université Paris-Sud** Orsay · France 2018–2023 · 4 papers](https://md.research.elamur.ai/free/en/universities/universite-paris-sud/) · [🔬**Laboratoire Interdisciplinaire des Sciences du Numérique** Gif-sur-Yvette · France 2020–2022 · 3 papers](https://md.research.elamur.ai/free/en/labs/laboratoire-interdisciplinaire-des-sciences-du-numerique/) · [🎓**Tsinghua University** Beijing · China 2022–2023 · 2 papers](https://md.research.elamur.ai/free/en/universities/tsinghua-university/) 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 6 The field of science this work belongs to (OpenAlex fields).[Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [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 · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) 🧭 Topics 2 Research subjects and languages the work is about.[Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/zhengying-liu/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/zhengying-liu/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/)** *(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](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-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 Models arXiv:2309.12284**Longhui Yu, Weisen Jiang, Han Shi, et al.*2023 · 565 citations*](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/) 2. **[Progressive-Hint Prompting Improves Reasoning in Large Language Models ↗](https://arxiv.org/abs/2304.09797) arXiv:2304.09797 · no summary yet**Chuanyang Zheng et al.*2023 · 131 citations* 3. **[Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning ↗](https://arxiv.org/abs/2504.11354) arXiv:2504.11354 · no summary yet**Haiming Wang et al.*2025 · 92 citations* 4. **[LEGO-Prover: Neural Theorem Proving with Growing Libraries ↗](https://arxiv.org/abs/2310.00656) arXiv:2310.00656 · no summary yet**Haiming Wang et al.*2023 · 79 citations* 5. **[Forward-Backward Reasoning in Large Language Models for Mathematical Verification ↗](https://aclanthology.org/2024.findings-acl.397/) Findings of the Association for Computational Linguistics: ACL 2024 · no summary yet**Weisen Jiang et al.*2024 · 44 citations* 6. **[DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ↗](https://aclanthology.org/2023.acl-long.706/) Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) · no summary yet**Haiming Wang et al.*2023 · 40 citations* 7. **[MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ↗](https://arxiv.org/abs/2402.08957) arXiv:2402.08957 (ICLR 2024 spotlight) · no summary yet**Yinya Huang et al.*2024 · 29 citations* 8. **[Lyra: Orchestrating Dual Correction in Automated Theorem Proving ↗](https://arxiv.org/abs/2309.15806) arXiv:2309.15806 · no summary yet**Chuanyang Zheng et al.*2023 · 24 citations* 9. **[TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models ↗](https://aclanthology.org/2023.emnlp-main.711/) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · no summary yet**Jing Xiong et al.*2023 · 21 citations* 10. **[CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics ↗](https://arxiv.org/abs/2505.03171) arXiv:2505.03171 · no summary yet**Junqi Liu et al.*2025 · 20 citations* 11. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/) 12. **[Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification ↗](https://arxiv.org/abs/2504.21230) arXiv:2504.21230 · no summary yet**Marco Dos Santos et al.*2025 · 14 citations* ## Co-authors here 7 co-authors with a page, the most papers together first. - [James Tin-Yau Kwok](https://md.research.elamur.ai/free/en/authors/james-tin-yau-kwok/) - [Jianqiao Lu](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/) - [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/) - [Yingjia Wan](https://md.research.elamur.ai/free/en/authors/yingjia-wan/) - [Yinya Huang](https://md.research.elamur.ai/free/en/authors/yinya-huang/) - [Yu Zhang](https://md.research.elamur.ai/free/en/authors/yu-zhang/) - [Zhijiang Guo](https://md.research.elamur.ai/free/en/authors/zhijiang-guo/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - Findings of the Association for Computational Linguistics: ACL 2024 - Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing - Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) ## 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 →](https://md.research.elamur.ai/free/en/authors/zhengying-liu/cited-by/). Updated 1 November 2026