Neural Network Verification on tinyimagenet VNN-COMP 2024
140Verified Properties CountBICCOS
Evaluation results
| Method | Links | ||
|---|---|---|---|
| BICCOS2024.12 | 140 | 16.33 | |
| beta-CROWN2024.12 | 135 | 28.87 | |
| GCP-CROWNMIP cuts=true2024.12 | 134 | 31.6 | |
| PyRAT2024.12 | 49 | 55.64 | |
| Marabou2024.12 | 0 | — |