연구진이 형식적 정리 증명에 dLLM을 활용하는 Diffusion-Proof 프레임워크를 공개했어요.
Diffusion-Proof는 dLLM-Prover-7B(전체 증명 작성)와 dLLM-Corrector-7B(지역 증명 수정) 두 모델로 구성돼요.
ProofNet-Test에서 1.61%, MiniF2F-Test에서 6.14% 성능 향상을 기록하며 기존 AR LLM 모델을 능가했어요.
DeepSeek-Prover-V2-7B가 풀지 못한 IMO 문제를 해결하며 dLLM의 장점을 입증했어요.