Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Multi-Class Formal Verification research benchmarks · SOTA2 Research

Multi-Class Formal Verification

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

3.83PAR2 Runtime

2

Feb 26, 2026

0.01PAR2 Runtime

2

Feb 26, 2026

MNIST ori unrobust

76PAR2 Runtime

2

Feb 26, 2026

MNIST ori robust

108.76PAR2 Runtime

2

Feb 26, 2026

fashion unrobust

67.63PAR2 Runtime

2

Feb 26, 2026

118.76PAR2 Runtime

2

Feb 26, 2026

covtype unrobust

213.78PAR2 Runtime

2

Feb 26, 2026

139.08PAR2 Runtime

2

Feb 26, 2026

Popular datasets

MNIST CovType Fashion Iris Red-Wine

Follow for updates

Join SOTA2 Contact