Diffusion-Proof: Demostración Formal Más Allá de la Generación Autorregresiva
Diffusion-Proof aplica LLMs difusivos a la demostración formal de teoremas, superando modelos autorregresivos con coherencia de largo alcance y corrección
#diffusion-proof
Diffusion-Proof: Demostración Formal más Allá de la Autorregresión
Descubre Diffusion-Proof, framework que aplica modelos de difusión para demostrar teoremas formales, superando a modelos autorregresivos y resolviendo un