Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations.

Jianglin Lan Yang Zheng Alessio Lomuscio

Published in: AAAI (2022)

Keyphrases

semidefinite
neural network
semidefinite programming
interior point methods
convex relaxation
higher dimensional
lower bound
convex sets
sufficient conditions
linear programming
worst case
super resolution
special case
upper bound
linear combination
prediction model