Command Palette
Search for a command to run...
Automated Theorem Proving On Holist Benchmark
평가 지표
Percentage correct
평가 결과
이 벤치마크에서 각 모델의 성능 결과
| Paper Title | ||
|---|---|---|
| 4-hop GNN, sub-expression sharing | 49.95 | Graph Representations for Higher-Order Logic and Theorem Proving |
| Tactic Dependent Loop | 38.88 | HOList: An Environment for Machine Learning of Higher-Order Theorem Proving |
| BoW2 (extra -ves) | 36.55 | Learning to Reason in Large Theories without Imitation |
| Deeper Wider WaveNet | 32.65 | HOList: An Environment for Machine Learning of Higher-Order Theorem Proving |
0 of 4 row(s) selected.