Neural Network Verification on cifar100 VNN-COMP 2024
125Verified Properties CountBICCOS
Evaluation results
| Method | Links | ||
|---|---|---|---|
| BICCOS2024.12 | 125 | 13.58 | |
| beta-CROWN2024.12 | 119 | 15.48 | |
| GCP-CROWNMIP cuts=true2024.12 | 119 | 19.32 | |
| PyRAT2024.12 | 68 | 42.38 | |
| Marabou2024.12 | 0 | — |