Neural Network Verification on MNIST Wide (val)
8.3Time (s)
BDD+
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | 8.3 | |
2022.10 | 36.4 | |
2022.10 | 45.4 | |
2022.10 | 73.3 | |
2022.10 | 91.3 | |
2022.10 | 119.2 | |
2022.10 | 387.1 |
BDD+
| Method | Links | |
|---|---|---|
2022.10 | 8.3 | |
2022.10 | 36.4 | |
2022.10 | 45.4 | |
2022.10 | 73.3 | |
2022.10 | 91.3 | |
2022.10 | 119.2 | |
2022.10 | 387.1 |