Automated Theorem Proving on miniF2F-valid
Metric: Pass@100 (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | Pass@100▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | LEGO-Prover ChatGPT | 57 | No | LEGO-Prover: Neural Theorem Proving with Growing... | 2023-10-01 | Code |
| 2 | Lyra + GPT-4 | 52 | No | Lyra: Orchestrating Dual Correction in Automated... | 2023-09-27 | Code |
| 3 | DSP (62B Minerva informal) | 43.9 | No | Draft, Sketch, and Prove: Guiding Formal Theorem... | 2022-10-21 | Code |