Automated Theorem Proving on Metamath set.mm
Metric: Percentage correct (higher is better)
Metric: Percentage correct (higher is better)
| # | Model↕ | Percentage correct▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | GPT-f | 56.2 | No | Generative Language Modeling for Automated Theor... | 2020-09-07 | - |
| 2 | MetaGen-IL + Holophrasm | 22.1 | No | Learning to Prove Theorems by Learning to Genera... | 2020-02-17 | Code |
| 3 | Holophrasm | 14.3 | No | Holophrasm: a neural Automated Theorem Prover fo... | 2016-08-08 | Code |