Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Neural Network Verification on MNIST Wide first 1000 images (val)
Loading...
-4.2
Relative Bound
BDD+
-4.728
-1.164
2.4
5.964
Oct 14, 2022
Relative Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Relative Bound
BDD+
Setting=single-stage
2022.10
-4.2
LP
Setting=single-stage
2022.10
-3.7
Anderson
Setting=single-stage
2022.10
-2.6
AS
Setting=single-stage
2022.10
-2.6
ZD-2D
Setting=single-stage
2022.10
0
ZD-MIP
Setting=single-stage
2022.10
9
Feedback
Search any
task
Search any
task
