Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation