Neural Network Verification on CIFAR-10 Wide
78.32Verification Time (s)
β-CROWN FSB
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2021.03 | 78.32 | 116,912.57 | 2 | |
2021.03 | 118.26 | 217,691.24 | 3 | |
2021.03 | 165.53 | 11,214.44 | 4 | |
2021.03 | 165.91 | 2,233.1 | 3 | |
2021.03 | 172.65 | 4,050.59 | 3 | |
2021.03 | 280.38 | 17,895.94 | 6 | |
2021.03 | 495.88 | 80,519.85 | 9 | |
2021.03 | 505.65 | 74,203.11 | 10 | |
2021.03 | 632.2 | - | 9 | |
2021.03 | 1,367.38 | 372.74 | 15 | |
2021.03 | 2,417.53 | - | 46 | |
2021.03 | 2,871.14 | 812.65 | 49 |