04:00
2026-06-12
arxiv.org
artificial-intelligence
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Researchers introduced Pythagoras-Prover, a family of compute-efficient Lean theorem provers that achieve state-of-the-art performance with significantly fewer parameters. The 4B-parameter model surpa…