Neural Network Verification on lsnc VNN-COMP
84.3Verification Time (s)Clip-and-Verify
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Clip-and-Verifystrategy=Complete clipping2025.12 | 84.3 | 5,334,421 | 40 | |
| PyRAT2025.12 | 90.4 | — | 15 | |
| Clip-and-Verifystrategy=Relaxed + Reorder2025.12 | 98.42 | 66,412,652 | 40 | |
| Clip-and-Verifystrategy=Relaxed clipping2025.12 | 99.12 | 92,402,227 | 40 | |
| α,β-CROWN2025.12 | 115.27 | 142,293,985 | 40 |