Bound Propagation for Neural Network Verification on linearizenn 2024
43.44Propagation Width
LUNA
Updated 23d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 43.44 | 2.96 | 60 | |
2026.03 | 48.53 | 6.59 | 60 |
LUNA
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 43.44 | 2.96 | 60 | |
2026.03 | 48.53 | 6.59 | 60 |