Huajian Xin
Scholar

Huajian Xin

Google Scholar ID: E5M9x8wAAAAJ
University of Edinburgh & ByteDance Seed
LLMs for theorem proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
7,927
 
H-index
12
 
i10-index
13
 
Publications
14
 
Co-authors
0
 
Contact
EmailH.Xin-3@sms.ed.ac.ukCVOpen ↗TwitterOpen ↗GitHubOpen ↗
Publications
6 items
MMFormalizer: Multimodal Autoformalization in the Wild
arXiv.org · 2026
Cited
0
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
2025
Cited
0
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
2025
Cited
0
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
2025
Cited
0
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
2025
Cited
0
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)