Bound Propagation for Neural Network Verification on cersyve
4.27WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 4.27 | 1.23 | 12 | |
| AUTO_LiRPA2026.03 | 4.38 | 6.77 | 12 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 4.27 | 1.23 | 12 | |
| AUTO_LiRPA2026.03 | 4.38 | 6.77 | 12 |