Modelpedia
Work in progress
About
Findings
Models
Concepts
Methods
Datasets
Sources
Light
Dark
LeanAgent: Lifelong Learning for Formal Theorem Proving
2025-01-22
· ICLR 2025 Poster ·
anchor
Findings
IC-1035
Reprover achieves 0% accuracy on sorry theorems in advanced mathematics repositories (PFR, Hairy Ball Theorem, Coxeter) while proving basic theorems in other repositories