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

Browse the full ACL paper archive.