Neural Network Verification on CIFAR-10 Base
118.23Verification Time (s)
β-CROWN FSB
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2021.03 | 118.23 | 208,018.21 | 3 | |
2021.03 | 226.06 | 509,608.5 | 6 | |
2021.03 | 309.29 | 38,239.04 | 7 | |
2021.03 | 381.78 | 12,004.6 | 7 | |
2021.03 | 390.44 | 11,938.75 | 7 | |
2021.03 | 662.17 | 67,938.38 | 16 | |
2021.03 | 695.01 | 119,522.65 | 17 | |
2021.03 | 805.94 | - | 5 | |
2021.03 | 807.91 | 195,480.14 | 20 | |
2021.03 | 1,794.85 | 565.13 | 33 | |
2021.03 | 2,367.78 | 1,020.55 | 36 | |
2021.03 | 2,849.69 | - | 68 |