Metric: Pass@100 (higher is better)
| # | Model↕ | Pass@100▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | ProofAug | 52.5 | No | Efficient Neural Theorem Proving via Fine-graine... | 2025-01-30 | Code |
| 2 | Lyra + GPT-4 | 47.1 | No | Lyra: Orchestrating Dual Correction in Automated... | 2023-09-27 | Code |
| 3 | LEGO-Prover ChatGPT | 47.1 | No | LEGO-Prover: Neural Theorem Proving with Growing... | 2023-10-01 | Code |
| 4 | Decomposing the Enigma | 45.5 | No | Decomposing the Enigma: Subgoal-based Demonstrat... | 2023-05-25 | Code |
| 5 | DSP (540B Minerva informal) | 38.9 | No | Draft, Sketch, and Prove: Guiding Formal Theorem... | 2022-10-21 | Code |