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 |
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 43.44 | 2.96 | 60 | |
| AUTO_LiRPA2026.03 | 48.53 | 6.59 | 60 |