Metric: Classification Accuracy (higher is better)
| # | Model↕ | Classification Accuracy▼ | Extra Data | Paper | Date↕ | Code |
|---|---|---|---|---|---|---|
| 1 | MPNN-DagLSTM | 0.916 | No | Improving Graph Neural Network Representations o... | 2019-11-15 | Code |
| 2 | FormulaNet | 0.903 | No | Premise Selection for Theorem Proving by Deep Gr... | 2017-09-28 | Code |
| 3 | FormulaNet-basic | 0.891 | No | Premise Selection for Theorem Proving by Deep Gr... | 2017-09-28 | Code |
| 4 | Siamese 1D CNN-LSTM | 0.83 | No | HolStep: A Machine Learning Dataset for Higher-o... | 2017-03-01 | Code |
| 5 | Siamese 1D CNN | 0.82 | No | HolStep: A Machine Learning Dataset for Higher-o... | 2017-03-01 | Code |