BFS证明器:可扩展的基于最佳优先树搜索的LLM自动定理证明

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

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

🏷️

标签

➡️

继续阅读