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