Neural Network Verification on CIFAR-10 Deep
5.69Verification Time (s)
β-CROWN FSB
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2021.03 | 5.69 | 41.12 | 0 | |
2021.03 | 6.12 | 204.66 | 0 | |
2021.03 | 10.5 | 368.16 | 0 | |
2021.03 | 94.69 | 1,990.34 | 1 | |
2021.03 | 105.64 | 2,455.11 | 1 | |
2021.03 | 177.22 | 3,275.25 | 2 | |
2021.03 | 190.28 | 2,491.55 | 2 | |
2021.03 | 266.28 | 12,722.74 | 4 | |
2021.03 | 545.72 | - | 0 | |
2021.03 | 1,055.33 | 131.85 | 4 | |
2021.03 | 2,302.25 | - | 40 | |
2021.03 | 2,750.75 | 401.28 | 39 |