Mathematical Proofs on miniF2F-curriculum
Metric: Pass@64 (higher is better)
Metric: Pass@64 (higher is better)
| # | Model↕ | Pass@64▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Evariste-7d | 42.5 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 2 | Evariste-1d | 33.6 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 3 | Evariste | 32.1 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |
| 4 | GPT-f | 30.6 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |