This story has moved to /story/diffusion-proof-recipe-for-formal-theorem-proving-beyond-auto-regressive-generat/.