Neural Network Verification on lsnc VNN-COMP
84.3Verification Time (s)
Clip-and-Verify
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2025.12 | 84.3 | 5,334,421 | 40 | |
2025.12 | 90.4 | - | 15 | |
2025.12 | 98.42 | 66,412,652 | 40 | |
2025.12 | 99.12 | 92,402,227 | 40 | |
2025.12 | 115.27 | 142,293,985 | 40 |