Bound Propagation for Neural Network Verification on cora 2024
12,067.97Propagation WidthAUTO_LiRPA
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| AUTO_LiRPA2026.03 | 12,067.97 | 9.53 | 60 | |
| LUNA2026.03 | 12,073.43 | 8.37 | 60 |
| Method | Links | |||
|---|---|---|---|---|
| AUTO_LiRPA2026.03 | 12,067.97 | 9.53 | 60 | |
| LUNA2026.03 | 12,073.43 | 8.37 | 60 |