--- title: "Xian Zhang — author profile and papers — Elamur Research" description: "Xian Zhang, Beijing University of Posts and Telecommunications: 5 papers on Elamur Research (2024–2025), h-index 16 — affiliations…" canonical: "https://research.elamur.ai/free/en/authors/xian-zhang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xian-zhang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Xian Zhang # Xian Zhang Xian Zhang 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 [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/), [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/A5100438847) · [ORCID](https://orcid.org/0000-0002-5203-5251) · [**h-index 16**](https://openalex.org/authors/A5100438847) · [109 works](https://openalex.org/works?filter=author.id:A5100438847) · [817 citations](https://openalex.org/works?filter=author.id:A5100438847&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 5 works in our library](https://md.research.elamur.ai/free/en/authors/xian-zhang/#papers) · [🔗 Cited 83 times in our library](https://md.research.elamur.ai/free/en/authors/xian-zhang/cited-by/) · [⭐ Paper Stars ranking: #8464](https://md.research.elamur.ai/free/en/paper-stars/page/85/#star-8464) 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=Xian+Zhang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Xian+Zhang) · [dblp](https://dblp.org/search?q=Xian+Zhang) · [ACL Anthology](https://aclanthology.org/search/?q=Xian+Zhang) ## Affiliations [🎓**Beijing University of Posts and Telecommunications** Beijing · China 2009–2026 · 10 papers*current*](https://md.research.elamur.ai/free/en/universities/beijing-university-of-posts-and-telecommunications/) · [🔬**State Key Laboratory of Networking and Switching Technology** Beijing · China 2020–2026 · 6 papers*current*](https://md.research.elamur.ai/free/en/labs/state-key-laboratory-of-networking-and-switching-technology/) · [🎓**Beijing Information Science & Technology University** Beijing · China 2023–2026 · 3 papers*current*](https://ror.org/04xnqep60) · [🎓**Heilongjiang University** Harbin · China 2003–2025 · 5 papers](https://md.research.elamur.ai/free/en/universities/heilongjiang-university/) · [🎓**Clemson University** Clemson · United States 2012–2020 · 5 papers](https://md.research.elamur.ai/free/en/universities/clemson-university/) · [🎓**Queen Mary University of London** London · United Kingdom 2011–2012 · 4 papers](https://md.research.elamur.ai/free/en/universities/queen-mary-university-of-london/) · [🎓**National University of Singapore** Singapore · Singapore 2005–2009 · 4 papers](https://md.research.elamur.ai/free/en/universities/national-university-of-singapore/) · [🏢**Microsoft** Redmond · United States 2014–2022 · 3 papers](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**The University of Western Australia** Perth · Australia 2025 · 2 papers](https://md.research.elamur.ai/free/en/universities/the-university-of-western-australia/) · [🎓**Huaihua University** Huaihua · China 2018–2023 · 2 papers](https://ror.org/04zn6xq74) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 27 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/xian-zhang/year/2025/) · [**2024** 3 papers](https://md.research.elamur.ai/free/en/authors/xian-zhang/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. - [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/) ×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/xian-zhang/cited-by/). Updated 3 November 2026