Premise Selection on HolStep (test)
90.3Accuracy
FormulaNet
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2017.09 | 90.3 | |
2017.09 | 89.1 | |
2017.09 | 83 | |
2017.09 | 82 | |
2017.09 | 0.9 | |
2017.09 | 0.89 | |
2017.09 | 0.83 | |
2017.09 | 0.83 |
FormulaNet
| Method | Links | |
|---|---|---|
2017.09 | 90.3 | |
2017.09 | 89.1 | |
2017.09 | 83 | |
2017.09 | 82 | |
2017.09 | 0.9 | |
2017.09 | 0.89 | |
2017.09 | 0.83 | |
2017.09 | 0.83 |