@misc{indiciae947995d5c22e,
  title = {Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation},
  author = {Ruida Wang and Rui Pan and Pengcheng Wang and Shizhe Diao and Tong Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.19315},
  note = {Source identifier: 2606.19315}
}