RECHERCHE
Diffusion-Proof : prouver des théorèmes formels avec des LLMs de diffusion
Un framework pionnier applique les modèles de langage par diffusion à la démonstration formelle de théorèmes, surpassant les approches auto-régressives classiques.
arXiv cs.AI · cs.LG · cs.CL·Ruida Wang, Rui Pan, Pengcheng Wang, Shizhe Diao·17 juin 2026
Image · Source originale
Diffusion-Proof est le premier framework à entraîner et déployer des LLMs de diffusion (dLLMs) pour la preuve formelle de théorèmes. Il repose sur deux modèles : dLLM-Prover-7B, qui génère des preuves complètes avec une cohérence à longue portée, et dLLM-Corrector-7B, un modèle de correction par diffusion exploitant le remplissage bidirectionnel. Les expériences montrent des gains significatifs face aux baselines auto-régressives.
Chaleur 14
Pertinence 72
Nouveauté 85