Automated Theorem Proving on miniF2F-valid
Metric: Pass@1 (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | Pass@1▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Lean GPT-f | 23.9 | Yes | MiniF2F: a cross-system benchmark for formal Oly... | 2021-08-31 | Code |
| 2 | Lean tidy | 16.8 | No | MiniF2F: a cross-system benchmark for formal Oly... | 2021-08-31 | Code |
| 3 | Metamath GPT-f | 1 | No | MiniF2F: a cross-system benchmark for formal Oly... | 2021-08-31 | Code |