Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Safety Verification on Inverted Pendulum (subregions certifiable)
Loading...
0.911
Success Rate (%)
CROWN
0.90788
0.90869
0.9095
0.91031
May 8, 2026
Success Rate (%)
Verification Time (s)
Updated 23d ago
Evaluation Results
Method
Method
Links
Success Rate (%)
Verification Time (s)
CROWN
alpha=0, Training Prot...
2026.05
0.911
62
LightCROWN
alpha=0, Training Prot...
2026.05
0.911
62
CROWN
alpha=0.1, Training Pr...
2026.05
0.911
53
LightCROWN
alpha=0.1, Training Pr...
2026.05
0.911
53
CROWN
alpha=0.2, Training Pr...
2026.05
0.911
53
LightCROWN
alpha=0.2, Training Pr...
2026.05
0.911
53
CROWN
alpha=0.5, Training Pr...
2026.05
0.91
33
LightCROWN
alpha=0.5, Training Pr...
2026.05
0.91
33
BBV
alpha=0, Training Prot...
2026.05
0.908
35
BBV
alpha=0.1, Training Pr...
2026.05
0.908
33
BBV
alpha=0.2, Training Pr...
2026.05
0.908
34
BBV
alpha=0.5, Training Pr...
2026.05
0.908
34
Feedback
Search any
task
Search any
task