Neural Network Verification on MNIST Deep (val)
15.4Time (s)
BDD+
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | 15.4 | |
2022.10 | 51.7 | |
2022.10 | 138.9 | |
2022.10 | 174.1 | |
2022.10 | 289.3 | |
2022.10 | 324.1 | |
2022.10 | 2,132.2 |
BDD+
| Method | Links | |
|---|---|---|
2022.10 | 15.4 | |
2022.10 | 51.7 | |
2022.10 | 138.9 | |
2022.10 | 174.1 | |
2022.10 | 289.3 | |
2022.10 | 324.1 | |
2022.10 | 2,132.2 |