本研究提出了一种新方法BFS-Prover，通过最佳优先搜索有效探索证据空间。该方法通过数据过滤和提升样本效率，在MiniF2F测试集上获得71.31分，显示出其在定理证明任务中的竞争力。

BFS证明器：可扩展的基于最佳优先树搜索的LLM自动定理证明
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证