Announcement_14

🚀🚀🚀 We are pleased to release Pythagoras-Prover, a family of theorem-proving models (4B and 32B). It includes the smallest model to date for theorem proving (4B), as well as the first diffusion-based model capable of theorem proving.

For more details, please see our recent work, Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation🔥.