Bound Propagation for Neural Network Verification on collins_rul_cnn 2022
35.8Propagation WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 35.8 | 3.57 | 62 | |
| AUTO_LiRPA2026.03 | 35.98 | 5.78 | 62 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 35.8 | 3.57 | 62 | |
| AUTO_LiRPA2026.03 | 35.98 | 5.78 | 62 |