Bound Propagation for Neural Network Verification on metaroom 2023
0.16Propagation WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 0.16 | 1.68 | 100 | |
| AUTO_LiRPA2026.03 | 0.16 | 5.3 | 95 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 0.16 | 1.68 | 100 | |
| AUTO_LiRPA2026.03 | 0.16 | 5.3 | 95 |