Neural Network Verification on tinyimagenet VNN-COMP 2024
140Verified Properties Count
BICCOS
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2024.12 | 140 | 16.33 | |
2024.12 | 135 | 28.87 | |
2024.12 | 134 | 31.6 | |
2024.12 | 49 | 55.64 | |
2024.12 | 0 | - |
BICCOS
| Method | Links | ||
|---|---|---|---|
2024.12 | 140 | 16.33 | |
2024.12 | 135 | 28.87 | |
2024.12 | 134 | 31.6 | |
2024.12 | 49 | 55.64 | |
2024.12 | 0 | - |