Formal Verification on MNIST Wide first 1000 images (val)
-5.4Relative Verification Bound
BDD+
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | -5.4 | |
2022.10 | -4.7 | |
2022.10 | -1.4 | |
2022.10 | -0.1 | |
2022.10 | 0 | |
2022.10 | 0.9 | |
2022.10 | 1.2 |
BDD+
| Method | Links | |
|---|---|---|
2022.10 | -5.4 | |
2022.10 | -4.7 | |
2022.10 | -1.4 | |
2022.10 | -0.1 | |
2022.10 | 0 | |
2022.10 | 0.9 | |
2022.10 | 1.2 |