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 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 207.98 | 18.63 | 32 | |
| AUTO_LiRPA2026.03 | 213.18 | 45.03 | 20 |