🤖 系统
11-30 17:50
📄 论文总结
重访miniF2F-Lean:审视局限性与规划前进道路 / miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
1️⃣ 一句话总结
这篇论文通过分析数学奥林匹克竞赛基准数据集miniF2F中形式化与非形式化问题之间的差异,修复了其中一半以上的错误与不一致性,并发布改进版miniF2F-v2,显著提升了AI模型从理解题目到完成证明的全流程准确率,为形式化推理领域提供了更可靠的评估标准。