| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Evasion attack verification | covtype 10,000 examples (test) | Speedup25.4 | 8 | |
| Classification | covtype | ROC-AUC0.994 | 5 | |
| PU learning | Covtype (test) | F-score75.19 | 4 | |
| Positive-Unlabeled Classification | Covtype (test) | Accuracy76.51 | 4 | |
| Subspace Clustering | CovType | Clustering Accuracy53.52 | 4 | |
| Multi-Class Formal Verification | covtype unrobust | PAR2 Runtime213.78 | 2 | |
| Multi-Class Formal Verification | covtype robust | PAR2 Runtime139.08 | 2 |