Robust Verification on CIFAR-10 (test)
100Solution CountPartition-Based Formulation
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Partition-Based FormulationModel=CNN1, epsilon_infinity=0.007, Number of Partitions=22021.02 | 100 | 25.9 | |
| Partition-Based FormulationModel=CNN1, epsilon_infinity=0.010, Number of Partitions=22021.02 | 100 | 25.7 | |
| Partition-Based FormulationModel=CNN1, epsilon_infinity=0.010, Number of Partitions=42021.02 | 100 | 45 | |
| Big-MModel=CNN1, epsilon_infinity=0.007, Number of Partitions=12021.02 | 99 | 100.6 | |
| Partition-Based FormulationModel=CNN1, epsilon_infinity=0.007, Number of Partitions=42021.02 | 99 | 45.4 | |
| Big-MModel=CNN1, epsilon_infinity=0.010, Number of Partitions=12021.02 | 98 | 119.1 | |
| Partition-Based FormulationModel=CNN2, epsilon_infinity=0.007, Number of Partitions=22021.02 | 95 | 85.1 | |
| Big-MModel=CNN2, epsilon_infinity=0.007, Number of Partitions=12021.02 | 80 | 300.5 | |
| Partition-Based FormulationModel=CNN2, epsilon_infinity=0.010, Number of Partitions=22021.02 | 72 | 176.4 | |
| Partition-Based FormulationModel=CNN2, epsilon_infinity=0.007, Number of Partitions=42021.02 | 68 | 928.6 | |
| Big-MModel=CNN2, epsilon_infinity=0.010, Number of Partitions=12021.02 | 40 | 743.6 | |
| Partition-Based FormulationModel=CNN2, epsilon_infinity=0.010, Number of Partitions=42021.02 | 35 | 1,041.3 |