TY  - RPRT
TI  - BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
AU  - Ran Xin
AU  - Chenguang Xi
AU  - Jie Yang
AU  - Feng Chen
AU  - Hang Wu
AU  - Xia Xiao
AU  - Yifan Sun
AU  - Shen Zheng
AU  - Kai Shen
PY  - 2025
UR  - https://arxiv.org/abs/2502.03438
ID  - 2502.03438
ER  -