Neural Network Verification on MNIST FFNet (val)
5.2Execution Time (s)
BDD+
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2022.10 | 5.2 | |
2022.10 | 29.5 | |
2022.10 | 52 | |
2022.10 | 61.6 | |
2022.10 | 70 | |
2022.10 | 90 | |
2022.10 | 100.3 |
BDD+
| Method | Links | |
|---|---|---|
2022.10 | 5.2 | |
2022.10 | 29.5 | |
2022.10 | 52 | |
2022.10 | 61.6 | |
2022.10 | 70 | |
2022.10 | 90 | |
2022.10 | 100.3 |