Proof step classification on Holstep (test)
91.4AccuracyBidirDagLSTM-AttDagLSTM
Evaluation results
| Method | Links | |
|---|---|---|
| BidirDagLSTM-AttDagLSTM2019.11 | 91.4 | |
| FormulaNetyear=20172019.11 | 90.3 | |
| CNN LSTMyear=20172019.11 | 83 | |
| CNNyear=20172019.11 | 82 | |
| DeepWalkyear=20142019.11 | 61.8 |