Sign in
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.
Ben Batten
Panagiotis Kouvaros
Alessio Lomuscio
Yang Zheng
Published in:
IJCAI (2021)
Keyphrases
</>
semidefinite
neural network
semidefinite programming
sufficient conditions
higher dimensional
convex relaxation
convex sets
high dimensional
finite dimensional
genetic algorithm
learning algorithm
knn