提出Diffusion-Proof框架,首次将扩散大语言模型应用于形式化定理证明,通过Prover和Corrector协同工作,在ProofNet-Test和MiniF2F-Test基准上相比自回归基线分别实现了1.61%和6.14%的绝对提升。
机构:UIUC
来源:arXiv 2606.19315 | AI4Papers 论文推荐平台