Bound Propagation for Neural Network Verification on tllverifybench 2023
207.98Propagation WidthLUNA
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 207.98 | 18.63 | 32 | |
| AUTO_LiRPA2026.03 | 213.18 | 45.03 | 20 |
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 207.98 | 18.63 | 32 | |
| AUTO_LiRPA2026.03 | 213.18 | 45.03 | 20 |