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

Counterexample generation research benchmarks · SOTA2 Research

Counterexample generation

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

174Pass@1

10

Mar 23, 2026

213Pass@1

10

Mar 23, 2026

222Pass@1

10

Mar 23, 2026

SAIR hard3 Official (n=20)

65.3Accuracy

3

Apr 23, 2026

SAIR hard3 Local (n=400)

79.25Accuracy

3

Apr 23, 2026

Popular datasets

SAIR FOR-COUNTER VERI-REASON VERI-FORMALIZE

Follow for updates

Join SOTA2 Contact