Formal Verification on MNIST FFNet first 1000 images (val)
-6.5Relative Verification Bound
BDD+
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | -6.5 | |
2022.10 | -5.9 | |
2022.10 | -3.4 | |
2022.10 | -2.8 | |
2022.10 | -2 | |
2022.10 | -1.3 | |
2022.10 | -1.2 | |
2022.10 | -0.7 | |
2022.10 | 0 | |
2022.10 | 0 | |
2022.10 | 1.1 | |
2022.10 | 1.5 | |
2022.10 | 3.7 |