arXiv ID:
2606.19315
Diffusion-Proof:超越自回归生成的正式定理证明方法 / Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation
1️⃣ 一句话总结
本文提出了一种名为Diffusion-Proof的新型框架,首次将扩散语言模型应用于正式定理证明,通过整体证明生成和局部证明修正两种模型,显著提升了长序列推理的连贯性和准确性,在多个基准测试上超越了传统自回归模型,甚至解决了一个高级思维模型无法完成的国际数学奥林匹克问题。