5 min read
AxProverBase: A Minimal Agent for Automated Theorem Proving
Our ICML paper introduces AxProverBase, a simple, reproducible, open-source agent that automates theorem proving in Lean — matching far more complex systems while using up to 100× fewer resources.
Leopoldo Sarra and Borja Requena Pozo
- research
- formal methods
- ICML