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. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.
Authors
- Ran Xin (ORCID: https://orcid.org/0000-0002-1697-9116)
- Jie Yang (ORCID: https://orcid.org/0000-0003-1789-690X)
- Yifan Sun (ORCID: https://orcid.org/0000-0003-3532-6521)
- Chenguang Xi (ORCID: https://orcid.org/0000-0003-0504-1015)
- Feng Chen (ORCID: https://orcid.org/0000-0002-9493-4976)
- Hang Wu (ORCID: https://orcid.org/0009-0001-8485-629X)
- Xia Xiao (ORCID: https://orcid.org/0000-0002-9874-5240)
- Shen Zheng (ORCID: https://orcid.org/0000-0002-8953-4011)
- Ming Ding (ORCID: https://orcid.org/0000-0002-8509-1049)
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.acl-long.1565
- Citations
- 2
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 4.96