Automated Theorem Proving On Holist Benchmark
评估指标
Percentage correct
评测结果
各个模型在此基准测试上的表现结果
模型名称 | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| Deeper Wider WaveNet | 32.65 | HOList: An Environment for Machine Learning of Higher-Order Theorem Proving | |
| BoW2 (extra -ves) | 36.55 | Learning to Reason in Large Theories without Imitation | - |
| Tactic Dependent Loop | 38.88 | HOList: An Environment for Machine Learning of Higher-Order Theorem Proving | |
| 4-hop GNN, sub-expression sharing | 49.95 | Graph Representations for Higher-Order Logic and Theorem Proving | - |
0 of 4 row(s) selected.