Automated Theorem Proving on miniF2F-valid
Metric: Pass@64 (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | Pass@64▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Evariste | 58.6 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 2 | Evariste-7d | 47.5 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 3 | GPT-f | 47.3 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 4 | Evariste-1d | 46.7 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |