BriefGPT - AI 论文速递 · 2025-02-05T00:00:00Z BFS证明器：可扩展的基于最佳优先树搜索的LLM自动定理证明 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 本研究提出了一种新方法BFS-Prover，通过最佳优先搜索有效探索证据空间。该方法通过数据过滤和提升样本效率，在MiniF2F测试集上获得71.31分，显示出其在定理证明任务中的竞争力。 🏷️ 标签 BFS-Prover MiniF2F bfs llm 定理证明 最佳优先搜索 证据空间 阅读原文 生成长图 分享链接 已复制链接
