Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification.

Jianglin Lan Yang Zheng Alessio Lomuscio

Published in: AAAI (2023)

Keyphrases

semidefinite
neural network
semidefinite programming
convex relaxation
sufficient conditions
lower bound
higher dimensional
convex sets
genetic algorithm
interior point methods
image classification
training process