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

Safety verification research benchmarks · SOTA2 Research

Safety verification

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

Dubins Car subregions certifiable

90.5Success Rate

24

May 11, 2026

Oscillator 2D system

Time-Varying SBF Certificates

99Ps

23

Apr 23, 2026

Unstable 1D system

Time-Varying SBF Certificates

98Ps (Probability)

18

Apr 23, 2026

Planar Quadrotor Adversarial Training

92.8Verification Rate

12

May 11, 2026

Inverted Pendulum Adversarial Training

99.3Success Rate

12

May 11, 2026

Planar Quadrotor (subregions certifiable)

71.2Verification Rate

12

May 11, 2026

Inverted Pendulum (subregions certifiable)

0.911Success Rate (%)

12

May 11, 2026

Unstable 2D system

Time-Varying SBF Certificates

97Ps

12

Apr 23, 2026

Volterra 2D system

0.99Ps

9

Apr 23, 2026

Quadrotor 4D + 2D obstacle

5.1Alpha

6

Apr 23, 2026

Dubin's 4D car model

Time-Invariant SBF Certificates

1Alpha

6

Apr 23, 2026

Safety Verification scenarios (test)

Multi-Agent Emotion-to-Response System

100Pass Rate

4

Feb 26, 2026

Certified Neural Approximations

1Safety Verification Result

2

Jun 4, 2026

Neural Abstractions

308Time

2

Feb 26, 2026

62Verification Time

2

Jun 4, 2026

Neural Abstractions

215Metric t

2

Jun 4, 2026

Non-Lipschitz 2

Neural Abstractions

59Generic Variable t

1

Feb 26, 2026

Non-Lipschitz 1

Neural Abstractions

19Parameter t

1

Feb 26, 2026

Popular datasets

Non-Lipschitz Inverted Pendulum Planar Quadrotor Quadrotor Exponential

Follow for updates

Join SOTA2 Contact