Reviews: A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

Jan-22-2025, 08:38:26 GMT–Neural Information Processing Systems

The paper proposes a general framework for layer-wise LP relaxations and shows which relaxation is tighter. Further it shows that there is a theoretical barrier to layer-wise LP relaxations.

convex relaxation barrier, neural network, tight robustness verification, (1 more...)

Neural Information Processing Systems

Jan-22-2025, 08:38:26 GMT

Conferences Web Page

Add feedback

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.40)