Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Network Reachability Analysis on ACAS Xu Property 1
Loading...
93.06
Average Width
COMB-PP
-112.8784
1,277.2058
2,667.29
4,057.3742
May 19, 2026
Average Width
Relative Increase vs COMB-PP
Updated 2mo ago
Evaluation Results
Method
Method
Links
Average Width
Relative Increase vs COMB-PP
COMB-PP
2026.05
93.06
-
COMB
2026.05
128.17
37.7
EP
2026.05
182.2
95.8
NNV
2026.05
331.96
256.7
α, β-CROWN
2026.05
373.26
301.1
CORA
2026.05
5,241.52
5,532.2
Feedback
Search any
task
Search any
task
