Formal Verification on MNIST Deep first 1000 images (val)
-11.5Relative Verification Bound
BDD+
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | -11.5 | |
2022.10 | -8.6 | |
2022.10 | -8.2 | |
2022.10 | -6.6 | |
2022.10 | -6.3 | |
2022.10 | -5.9 | |
2022.10 | -5 | |
2022.10 | -3.1 | |
2022.10 | 0 | |
2022.10 | 0 | |
2022.10 | 2.3 | |
2022.10 | 3.3 | |
2022.10 | 18.1 |