🧑🔬 Ran Xin — papers of 2025 — 2 papers, the most cited first2 papers · all years of Ran XinBFS-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 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/ran-xin/year/2025/