Metric: Classification Accuracy (higher is better)
| # | Model↕ | Classification Accuracy▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | FormulaNet | 0.9 | No | Premise Selection for Theorem Proving by Deep Gr... | 2017-09-28 | Code |
| 2 | FormulaNet-basic | 0.89 | No | Premise Selection for Theorem Proving by Deep Gr... | 2017-09-28 | Code |
| 3 | 1D CNN | 0.83 | No | HolStep: A Machine Learning Dataset for Higher-o... | 2017-03-01 | Code |
| 4 | 1D CNN-LSTM | 0.83 | No | HolStep: A Machine Learning Dataset for Higher-o... | 2017-03-01 | Code |