Bound Propagation for Neural Network Verification on safenlp 2024
22.77Propagation WidthLUNA
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 22.77 | 0.48 | 189 | |
| AUTO_LiRPA2026.03 | 22.77 | 5.2 | 189 |
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 22.77 | 0.48 | 189 | |
| AUTO_LiRPA2026.03 | 22.77 | 5.2 | 189 |