Bound Propagation for Neural Network Verification on cora 2024
12,067.97Propagation Width
AUTO_LiRPA
Updated 23d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 12,067.97 | 9.53 | 60 | |
2026.03 | 12,073.43 | 8.37 | 60 |
AUTO_LiRPA
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 12,067.97 | 9.53 | 60 | |
2026.03 | 12,073.43 | 8.37 | 60 |