BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving

Ran Xin | Chenguang Xi | Jie Yang | Feng Chen | Hang Wu | Xia Xiao | Yifan Sun | Shen Zheng | Ming Ding |