Automated Theorem Proving On Holstep 1
평가 지표
Classification Accuracy
평가 결과
이 벤치마크에서 각 모델의 성능 결과
모델 이름 | Classification Accuracy | Paper Title | Repository |
|---|---|---|---|
| FormulaNet-basic | 0.890 | Premise Selection for Theorem Proving by Deep Graph Embedding | |
| FormulaNet | 0.900 | 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.