Login / Signup
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks.
Hadi Salman
Greg Yang
Huan Zhang
Cho-Jui Hsieh
Pengchuan Zhang
Published in:
NeurIPS (2019)
Keyphrases
</>
convex relaxation
neural network
convex optimization
globally optimal
multi label
multistage
lower bound
optimization methods
multiple kernel learning
genetic algorithm
upper bound
text categorization
image processing
image classification
unsupervised learning
learning tasks