Elamur Research⌕
☰
home / authors / Xiaoxing Ma

Xiaoxing Ma

Xiaoxing Ma has 3 papers in our library, in 2024–2025, most of them on Reasoning, Language models & pretraining; often with Fan Yang, Xian Zhang, Zenan Li.

3 papers in our library · 2024–2025

OpenAlex · ORCID · Wikidata · h-index 24 · 210 works · 2,341 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 38 times in our library · ⭐ Paper Stars ranking: #9891

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

🎓Nanjing UniversityNanjing · China2000–2026 · 213 papersEducation 2000–2003 · PhD, Computer Science and TechnologyEmployment since 2009 · Professor, Computer Science and Technologycurrent🔬State Key Laboratory of New Technology of Computer SoftwareNanjing · China2009–2025 · 14 papers🎓Nanjing University of Science and TechnologyNanjing · China2011–2026 · 4 papers🎓Hong Kong University of Science and TechnologyHong Kong · China2009–2018 · 3 papers🎓Hong Kong Polytechnic UniversityHong Kong · China2003 · 2 papers

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 5The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArtificial Intelligence · 3 worksComputational Theory and Mathematics · 3 worksArts and Humanities · 1 workLanguage and Linguistics · 1 work

🧭 Topics 2Research subjects and languages the work is about.Reasoning · 3 worksLanguage models & pretraining · 1 work

 Works by year

2020s

20251 paper20242 papers

 Papers

The most cited first (OpenAlex and our library).

  1. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency (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 (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 (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.

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 38 times (of the 149,439 papers whose bibliographies we read); 15 citing papers with a page here →.

Updated

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