--- title: "Zenan Li — author profile and papers — Elamur Research" description: "Zenan Li, National University of Defense Technology: 5 papers on Elamur Research (2024–2025), h-index 6 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/zenan-li/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/zenan-li/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Zenan Li # Zenan Li Zenan Li has 5 papers in our library, in 2024–2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/); often with [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/), [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/), [Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/). 5 papers in our library · 2024–2025 [OpenAlex](https://openalex.org/A5100735602) · [ORCID](https://orcid.org/0000-0002-5253-9011) · [**h-index 6**](https://openalex.org/authors/A5100735602) · [43 works](https://openalex.org/works?filter=author.id:A5100735602) · [111 citations](https://openalex.org/works?filter=author.id:A5100735602&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 5 works in our library](https://md.research.elamur.ai/free/en/authors/zenan-li/#papers) · [🔗 Cited 83 times in our library](https://md.research.elamur.ai/free/en/authors/zenan-li/cited-by/) · [⭐ Paper Stars ranking: #8465](https://md.research.elamur.ai/free/en/paper-stars/page/85/#star-8465) 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=Zenan+Li) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Zenan+Li) · [dblp](https://dblp.org/search?q=Zenan+Li) · [ACL Anthology](https://aclanthology.org/search/?q=Zenan+Li) ## Affiliations [🎓**Chengdu Normal University** Chengdu · China 2019–2025 · 7 papers*current*](https://ror.org/04enz2k98) · [🎓**Wuhan University of Science and Technology** Wuhan · China 2024–2025 · 4 papers*current*](https://md.research.elamur.ai/free/en/universities/wuhan-university-of-science-and-technology/) · [🎓**Chengdu Technological University** Chengdu 2025 · 2 papers*current*](https://ror.org/04713ex73) · [🎓**ETH Zurich** Zurich · Switzerland 2025 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/eth-zurich/) · [🎓**Nanjing University** Nanjing · China 2025 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/nanjing-university/) · [🎓**National University of Defense Technology** Changsha · China 2024–2025 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/national-university-of-defense-technology/) · [🎓**University of Toronto** Toronto · Canada 2025 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🎓**Northwestern Polytechnical University** Xi'an · China 2025 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/northwestern-polytechnical-university/) · [🔬**Shanghai Artificial Intelligence Laboratory** Shanghai · China 2025 · 1 paper*current*](https://md.research.elamur.ai/free/en/labs/shanghai-artificial-intelligence-laboratory/) · [🏥**Shenzhen Children's Hospital** Shenzhen · China 2025 · 1 paper*current*](https://ror.org/0409k5a27) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 7 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 5 The field of science this work belongs to (OpenAlex fields).[Computer Science · 5 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 5 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 5 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 2 Research subjects and languages the work is about.[Reasoning · 5 works](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/zenan-li/year/2025/) · [**2024** 3 papers](https://md.research.elamur.ai/free/en/authors/zenan-li/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[A Survey on Deep Learning for Theorem Proving](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)** *(2024 · 46 citations)* Research applying neural methods, and especially large language models, to mathematical proof has grown quickly. 2. **[Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency](https://md.research.elamur.ai/free/en/papers/li-2024-autoformalize-mathematical-statements-symbolic-equivalence/)** *(2024 · 19 citations)* The paper addresses a weakness in LLM-based autoformalization, the task of turning natural-language math statements into formal theorems (here, Isabelle/HOL). 3. **[Neuro-Symbolic Data Generation for Math Reasoning](https://md.research.elamur.ai/free/en/papers/li-2024-neuro-symbolic-data-generation-math/)** *(2024 · 14 citations)* The paper asks whether weak LLM performance in mathematics is a basic limitation or a consequence of too little reliable training data. 4. **[Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)** *(2025 · 11 citations)* The paper tackles automated formal proving of elementary algebraic inequalities from math Olympiads. Pure LLM provers struggle because formal proof data is scarce and the tactic space is huge. Symbolic methods such as cylindrical algebraic decomposition scale poorly and give opaque, non-readable proofs. The authors… 5. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/)** *(2025 · 7 citations)* The paper asks whether formal theorem proving in Lean 4 really requires costly RL-trained prover models. The authors return to the older Draft, Sketch and Prove (DSP) pipeline and rebuild it as DSP+, which needs no training or fine-tuning. Each stage combines neural and rule-based components: ## Co-authors here 12 of 15 co-authors with a page, the most papers together first. - [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/) ×5 - [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/) ×4 - [Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) ×3 - [Zhaoyu Li](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/) ×3 - [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/) ×2 - [Xujie Si](https://md.research.elamur.ai/free/en/authors/xujie-si/) ×2 - [Yuan Yao](https://md.research.elamur.ai/free/en/authors/yuan-yao/) ×2 - [Chenrui Cao](https://md.research.elamur.ai/free/en/authors/chenrui-cao/) - [Hui Xue](https://md.research.elamur.ai/free/en/authors/hui-xue/) - [Jialiang Sun](https://md.research.elamur.ai/free/en/authors/jialiang-sun/) - [Logan Murphy](https://md.research.elamur.ai/free/en/authors/logan-murphy/) - [Xinyi Le](https://md.research.elamur.ai/free/en/authors/xinyi-le/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/) ×3: [NeurIPS 2025](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2025/), [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) ×2 ## Cited by Papers of our library cite their works 83 times (of the 149,439 papers whose bibliographies we read); [35 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/zenan-li/cited-by/). Updated 3 November 2026