Automated Theorem Proving On Minif2F 1
评估指标
Pass@64
评测结果
各个模型在此基准测试上的表现结果
模型名称 | Pass@64 | Paper Title | Repository |
|---|---|---|---|
| Evariste | 32.1 | HyperTree Proof Search for Neural Theorem Proving | - |
| Evariste-1d | 33.6 | HyperTree Proof Search for Neural Theorem Proving | - |
| GPT-f | 30.6 | HyperTree Proof Search for Neural Theorem Proving | - |
| Evariste-7d | 42.5 | HyperTree Proof Search for Neural Theorem Proving | - |
0 of 4 row(s) selected.