--- title: "Xiaohan Lin — author profile and papers — Elamur Research" description: "Xiaohan Lin, University of Hawaiʻi at Mānoa: 3 papers on Elamur Research (2024–2025), h-index 6 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/xiaohan-lin/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xiaohan-lin/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Xiaohan Lin # Xiaohan Lin Xiaohan Lin has 3 papers in our library, in 2024–2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Haiming Wang](https://md.research.elamur.ai/free/en/authors/haiming-wang/), [Junqi Liu](https://md.research.elamur.ai/free/en/authors/junqi-liu/), [Xiaodan Liang](https://md.research.elamur.ai/free/en/authors/xiaodan-liang/). 3 papers in our library · 2024–2025 [OpenAlex](https://openalex.org/A5104118938) · [ORCID](https://orcid.org/0009-0000-3705-5038) · [**h-index 6**](https://openalex.org/authors/A5104118938) · [27 works](https://openalex.org/works?filter=author.id:A5104118938) · [178 citations](https://openalex.org/works?filter=author.id:A5104118938&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 3 works in our library](https://md.research.elamur.ai/free/en/authors/xiaohan-lin/#papers) · [🔗 Cited 139 times in our library](https://md.research.elamur.ai/free/en/authors/xiaohan-lin/cited-by/) · [⭐ Paper Stars ranking: #7599](https://md.research.elamur.ai/free/en/paper-stars/page/76/#star-7599) 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=Xiaohan+Lin) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Xiaohan+Lin) · [dblp](https://dblp.org/search?q=Xiaohan+Lin) · [ACL Anthology](https://aclanthology.org/search/?q=Xiaohan+Lin) ## Affiliations [🎓**Shantou University** Shantou · China 2026 · 1 paper*current*](https://ror.org/01a099706) · [🎓**University of Hawaiʻi at Mānoa** Honolulu · United States 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/universities/university-of-hawai-i-at-manoa/) · [🎓**Peking University** Beijing · China 2023–2025 · 7 papers](https://md.research.elamur.ai/free/en/universities/peking-university/) · [🔬**Beijing National Laboratory for Molecular Sciences** Beijing · China 2023–2025 · 4 papers](https://ror.org/02601yx74) · [🎓**Beijing Normal University** Beijing · China 2023–2025 · 4 papers](https://md.research.elamur.ai/free/en/universities/beijing-normal-university/) · [🎓**North Carolina State University** Raleigh · United States 2024–2025 · 2 papers](https://md.research.elamur.ai/free/en/universities/north-carolina-state-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 8 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 · 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 · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/xiaohan-lin/year/2025/) · [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/xiaohan-lin/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/)** *(2025 · 92 citations)* Earlier neural theorem provers for Lean 4 usually combined a language model with explicit search, such as best-first or Monte Carlo tree search. 2. **[MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data](https://md.research.elamur.ai/free/en/papers/huang-2024-mustard-mastering-uniform-synthesis-theorem/)** *(2024 · 29 citations)* Training LLMs for mathematical reasoning and theorem proving requires step-by-step solutions, but such annotations are hard to obtain. 3. **[CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/)** *(2025 · 20 citations)* Combining LLMs with formal proof assistants has produced strong results in competition algebra, geometry and number theory, but combinatorics lags behind. ## Co-authors here 12 of 16 co-authors with a page, the most papers together first. - [Haiming Wang](https://md.research.elamur.ai/free/en/authors/haiming-wang/) ×3 - [Junqi Liu](https://md.research.elamur.ai/free/en/authors/junqi-liu/) ×2 - [Xiaodan Liang](https://md.research.elamur.ai/free/en/authors/xiaodan-liang/) ×2 - [Huajian Xin](https://md.research.elamur.ai/free/en/authors/huajian-xin/) - [Hugues de Saxcé](https://md.research.elamur.ai/free/en/authors/hugues-de-saxce/) - [Jianqiao Lu](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/) - [Linqi Song](https://md.research.elamur.ai/free/en/authors/linqi-song/) - [Mantas Baksys](https://md.research.elamur.ai/free/en/authors/mantas-baksys/) - [Marco Dos Santos](https://md.research.elamur.ai/free/en/authors/marco-dos-santos/) - [Mert Unsal](https://md.research.elamur.ai/free/en/authors/mert-unsal/) - [Qingxing Cao](https://md.research.elamur.ai/free/en/authors/qingxing-cao/) - [Yinya Huang](https://md.research.elamur.ai/free/en/authors/yinya-huang/) ## Cited by Papers of our library cite their works 139 times (of the 149,439 papers whose bibliographies we read); [54 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/xiaohan-lin/cited-by/). Updated 3 November 2026