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 |
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 867.42 | 1.41 | 184 | |
| AUTO_LiRPA2026.03 | 882.9 | 6.19 | 184 |