Machine learningLLMs & Text
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
Scalable Best-First Tree Search: BFS-Prover is a scalable framework that uses Best-First Tree Search for automatic theorem proving, challenging the need for complex tree search methods.
Featured in No. 92 on 9 Apr 2025 · · 92 citations today · published in Annual Meeting of the Association for Computational Linguistics
- Released
- 5 Feb 2025
- First featured
- No. 92 · 9 Apr 2025
- Citations (Semantic Scholar)
- 92
- Influential citations
- 9
- Published in
- Annual Meeting of the Association for Computational Linguistics
- Shares when featured
- 28
- Identifier
- arXiv:2502.03438
Citations and venue from Semantic Scholar (ODC-BY), refreshed weekly. Summary: Quant Letter (CC BY 4.0).