Bound Propagation for Neural Network Verification on linearizenn 2024
43.44Propagation WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 43.44 | 2.96 | 60 | |
| AUTO_LiRPA2026.03 | 48.53 | 6.59 | 60 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 43.44 | 2.96 | 60 | |
| AUTO_LiRPA2026.03 | 48.53 | 6.59 | 60 |