Command Palette
Search for a command to run...
Automated Theorem Proving On Metamath Setmm
평가 지표
Percentage correct
평가 결과
이 벤치마크에서 각 모델의 성능 결과
| Paper Title | ||
|---|---|---|
| GPT-f | 56.2 | Generative Language Modeling for Automated Theorem Proving |
| MetaGen-IL + Holophrasm | 22.1 | Learning to Prove Theorems by Learning to Generate Theorems |
| Holophrasm | 14.3 | Holophrasm: a neural Automated Theorem Prover for higher-order logic |
| Evariste | - | HyperTree Proof Search for Neural Theorem Proving |
0 of 4 row(s) selected.