Tight Semidefinite Relaxations for Verifying Robustness of Neural Networks

Godai Azuma, Sunyoung Kim, Makoto Yamashita

For verifying the safety of neural networks (NNs), Fazlyab et al. (2019) introduced a semidefinite programming (SDP) approach called DeepSDP. This formulation can be viewed as the…