| Paper | Code | Percentage correct | Pass@32 | ModelName | ReleaseDate |
|---|---|---|---|---|---|
| Generative Language Modeling for Automated Theorem Proving | 56.2 | GPT-f | 2020-09-07 | ||
| Learning to Prove Theorems by Learning to Generate Theorems | ✓ Link | 22.1 | MetaGen-IL + Holophrasm | 2020-02-17 | |
| Holophrasm: a neural Automated Theorem Prover for higher-order logic | ✓ Link | 14.3 | Holophrasm | 2016-08-08 | |
| HyperTree Proof Search for Neural Theorem Proving | 72.4 | Evariste | 2022-05-23 |