研究人员开发了一种新颖的无参考迭代精炼过程，用于自动形式化整个数学定理。该方法利用定理证明器和基于LLM的裁判的反馈，在没有人为干预或真实数据的情况下，增强形式有效性、逻辑保持性、数学一致性和形式质量。该方法保证单调改进，并在miniF2F和ProofNet等基准测试中表现出强大的性能。 AI
影响 引入了一种改进数学定理形式化技术的新方法，有望提升AI在形式推理方面的能力。
排序理由 详细介绍自动形式化新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
