Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Network Verification on CIFAR SGD first 1000 images (val)
Loading...
-1.5
Relative Bound
BDD+
-1.756
-0.028
1.7
3.428
Oct 14, 2022
Relative Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Relative Bound
BDD+
Setting=single-stage
2022.10
-1.5
LP
Setting=single-stage
2022.10
-1.2
Anderson
Setting=single-stage
2022.10
-0.7
AS
Setting=single-stage
2022.10
-0.5
ZD-2D
Setting=single-stage
2022.10
0
ZD-MIP
Setting=single-stage
2022.10
4.9
Feedback
Search any
task
Search any
task
