Login / Signup
Overcoming the Convex Relaxation Barrier for Neural Network Verification via Nonconvex Low-Rank Semidefinite Relaxations.
Hong-Ming Chiu
Richard Y. Zhang
Published in:
CoRR (2022)
Keyphrases
</>
convex relaxation
convex optimization
low rank
semidefinite
neural network
matrix completion
interior point methods
kernel matrix
total variation
primal dual
convex sets
data sets
training data
knn
image restoration