@misc{indiciae36f15b1fe354,
  title = {BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving},
  author = {Ran Xin and Chenguang Xi and Jie Yang and Feng Chen and Hang Wu and Xia Xiao and Yifan Sun and Shen Zheng and Kai Shen},
  year = {2025},
  url = {https://arxiv.org/abs/2502.03438},
  note = {Source identifier: 2502.03438}
}