#Diffusion-Proof

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「Diffusion-Proof」标签的资讯、产品与论文，按刊登时间排，新的在上。

6月18日

Diffusion-Proof：超越自回归生成的形式定理证明新框架

扩散模型也能做定理证明了，比自回归强，MiniF2F上高出6个百分点，还解了一道DeepSeek没解出的IMO题。

#Diffusion-Proof #dLLM #推理模型 #形式定理证明

arXiv: DeepSeek@Ruida Wang 等 5 人原文