Bound Propagation for Neural Network Verification on sat_relu
58.99Propagation WidthLUNA
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 58.99 | 0.51 | 98 | |
| AUTO_LiRPA2026.03 | 58.99 | 5.13 | 98 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| LUNA2026.03 | 58.99 | 0.51 | 98 | |
| AUTO_LiRPA2026.03 | 58.99 | 5.13 | 98 |