| Paper | Code | Pass@64 | ModelName | ReleaseDate |
|---|---|---|---|---|
| HyperTree Proof Search for Neural Theorem Proving | 42.5 | Evariste-7d | 2022-05-23 | |
| HyperTree Proof Search for Neural Theorem Proving | 33.6 | Evariste-1d | 2022-05-23 | |
| HyperTree Proof Search for Neural Theorem Proving | 32.1 | Evariste | 2022-05-23 | |
| HyperTree Proof Search for Neural Theorem Proving | 30.6 | GPT-f | 2022-05-23 |