Premise Selection on HolStep (test)
90.3AccuracyFormulaNet
Evaluation Results
| Method | Links | |
|---|---|---|
| FormulaNetsetting=conditional2017.09 | 90.3 | |
| FormulaNet-basicsetting=conditional2017.09 | 89.1 | |
| CNN-LSTMsetting=conditional2017.09 | 83 | |
| CNNsetting=conditional2017.09 | 82 | |
| FormulaNetsetting=unconditional2017.09 | 0.9 | |
| FormulaNet-basicsetting=unconditional2017.09 | 0.89 | |
| CNNsetting=unconditional2017.09 | 0.83 | |
| CNN-LSTMsetting=unconditional2017.09 | 0.83 |