Elamur Research⌕
☰
home / authors / Xia Xiao

Xia Xiao

Xia Xiao has 3 papers in our library, in 2025, most of them on Reasoning; often with Chenguang Xi, Ran Xin, Shen Zheng.

3 papers in our library · 2025

OpenAlex · ORCID · h-index 19 · 171 works · 1,471 citations OpenAlex, 2026-10-14

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

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

🎓Tianjin UniversityTianjin · China2004–2026 · 112 paperscurrent🎓Chemnitz University of TechnologyChemnitz · Germany2000–2005 · 7 papers🎓Hiroshima UniversityHiroshima · Japan2008–2014 · 5 papers🎓North China Electric Power UniversityBeijing · China2022–2024 · 4 papers🎓Qingdao UniversityQingdao · China2016–2017 · 4 papers🔬State Key Laboratory of Fire ScienceHefei2010 · 3 papers🎓University of Science and Technology of ChinaHefei · China2010 · 3 papers🔬National Institute of Advanced Industrial Science and TechnologyTsukuba · Japan2003–2004 · 3 papers🎓Chongqing Technology and Business UniversityChongqing · China2025 · 2 papers🔬Shanghai Artificial Intelligence LaboratoryShanghai · China2024–2025 · 2 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 15 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 7The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArtificial Intelligence · 3 worksComputational Theory and Mathematics · 2 worksArts and Humanities · 1 workComputer Science Applications · 1 workInformation Systems · 1 workLanguage and Linguistics · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20253 papers

 Papers

The most cited first (OpenAlex and our library).

  1. BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving (2025 · 49 citations)
    Proof search in Lean4 involves a huge space of possible tactics, so automated provers have mostly relied on MCTS and learned value (critic) models.
  2. Seed-Coder: Let the Code Model Curate Data for Itself (2025 · 25 citations)
    Open code LLMs usually build their pretraining corpora with human-designed heuristics, such as per-language filtering rules or quality classifiers trained on human labels.
  3. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers (2025 · 7 citations)
    The paper tackles two linked bottlenecks in LLM-based theorem proving for Lean4. In training, reinforcement learning tends to stall after early gains. At inference, the space of possible tactics grows explosively. The authors present BFS-Prover-V2, an open-source step-level prover that treats proving as a Markov…

 Co-authors here

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

Updated

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