Bound Propagation for Neural Network Verification on acasxu 2023
867.42Propagation WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 867.42 | 1.41 | 184 | |
| AUTO_LiRPA2026.03 | 882.9 | 6.19 | 184 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 867.42 | 1.41 | 184 | |
| AUTO_LiRPA2026.03 | 882.9 | 6.19 | 184 |