🧑🔬 Xia Xiao — papers of 2025 — 3 papers, the most cited first3 papers · all years of Xia XiaoBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citationsSeed-Coder: Let the Code Model Curate Data for ItselfarXiv:2506.03524ByteDance Seed, Yuyu Zhang, Jing Su, et al.2025 · 25 citationsScaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/xia-xiao/year/2025/