Automated Theorem Proving on Metamath set.mm
Metric: Pass@32 (higher is better)
LeaderboardDataset
Loading chart...
Results
Submit a result| # | Model↕ | Pass@32▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | Evariste | 72.4 | No | HyperTree Proof Search for Neural Theorem Proving | 2022-05-23 | - |