A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks.

Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang

Published in: CoRR (2019)

Keyphrases

convex relaxation
neural network
convex optimization
globally optimal
multi label
multistage
lower bound
multiple kernel learning
upper bound
optimization methods
genetic algorithm
support vector
training process
image processing
dynamic programming