Command Palette
Search for a command to run...
Automated Theorem Proving On Holstep 1
評価指標
Classification Accuracy
評価結果
このベンチマークにおける各モデルのパフォーマンス結果
| Paper Title | ||
|---|---|---|
| FormulaNet | 0.900 | Premise Selection for Theorem Proving by Deep Graph Embedding |
| FormulaNet-basic | 0.890 | Premise Selection for Theorem Proving by Deep Graph Embedding |
| 1D CNN | 0.83 | HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving |
| 1D CNN-LSTM | 0.83 | HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving |
0 of 4 row(s) selected.