--- title: "Xiaoxing Ma · Nanjing University — author profile and papers" description: "Xiaoxing Ma, Nanjing University: 3 papers on Elamur Research (2024–2025), h-index 24 — affiliations, topics, co-authors and who cites them…" canonical: "https://research.elamur.ai/free/en/authors/xiaoxing-ma/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xiaoxing-ma/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Xiaoxing Ma # Xiaoxing Ma Xiaoxing Ma has 3 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 [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/), [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/), [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/). 3 papers in our library · 2024–2025 [OpenAlex](https://openalex.org/A5041674680) · [ORCID](https://orcid.org/0000-0001-7970-1384) · [Wikidata](https://www.wikidata.org/wiki/Q60662433) · [**h-index 24**](https://openalex.org/authors/A5041674680) · [210 works](https://openalex.org/works?filter=author.id:A5041674680) · [2,341 citations](https://openalex.org/works?filter=author.id:A5041674680&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/#papers) · [🔗 Cited 38 times in our library](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/cited-by/) · [⭐ Paper Stars ranking: #9891](https://md.research.elamur.ai/free/en/paper-stars/page/99/#star-9891) 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=Xiaoxing+Ma) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Xiaoxing+Ma) · [dblp](https://dblp.org/search?q=Xiaoxing+Ma) · [ACL Anthology](https://aclanthology.org/search/?q=Xiaoxing+Ma) ## Affiliations [🎓**Nanjing University** Nanjing · China 2000–2026 · 213 papersEducation 2000–2003 · PhD, Computer Science and TechnologyEmployment since 2009 · Professor, Computer Science and Technology*current*](https://md.research.elamur.ai/free/en/universities/nanjing-university/) · [🔬**State Key Laboratory of New Technology of Computer Software** Nanjing · China 2009–2025 · 14 papers](https://ror.org/04xqp3a64) · [🎓**Nanjing University of Science and Technology** Nanjing · China 2011–2026 · 4 papers](https://md.research.elamur.ai/free/en/universities/nanjing-university-of-science-and-technology/) · [🎓**Hong Kong University of Science and Technology** Hong Kong · China 2009–2018 · 3 papers](https://md.research.elamur.ai/free/en/universities/hong-kong-university-of-science-and-technology/) · [🎓**Hong Kong Polytechnic University** Hong Kong · China 2003 · 2 papers](https://md.research.elamur.ai/free/en/universities/hong-kong-polytechnic-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution 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 · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 3 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 · 3 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** 1 paper](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/year/2025/) · [**2024** 2 papers](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[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). 2. **[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. 3. **[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… ## Co-authors here 10 co-authors with a page, the most papers together first. - [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/) ×3 - [Xian Zhang](https://md.research.elamur.ai/free/en/authors/xian-zhang/) ×3 - [Zenan Li](https://md.research.elamur.ai/free/en/authors/zenan-li/) ×3 - [Yuan Yao](https://md.research.elamur.ai/free/en/authors/yuan-yao/) ×2 - [Zhaoyu Li](https://md.research.elamur.ai/free/en/authors/zhaoyu-li/) ×2 - [Kaiyu Yang](https://md.research.elamur.ai/free/en/authors/kaiyu-yang/) - [Xujie Si](https://md.research.elamur.ai/free/en/authors/xujie-si/) - [Yifan Wu](https://md.research.elamur.ai/free/en/authors/yifan-wu/) - [Yu-Feng Li](https://md.research.elamur.ai/free/en/authors/yu-feng-li/) - [Zhi Zhou](https://md.research.elamur.ai/free/en/authors/zhi-zhou/) ## 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/) ×2: [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 38 times (of the 149,439 papers whose bibliographies we read); [15 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/cited-by/). Updated 3 November 2026