Strengthened SDP Verification of Neural Network Robustness via Non-Convex Cuts.
Ziye MaSomayeh SojoudiPublished in: CoRR (2020)
Keyphrases
- neural network
- semi definite programming
- convex programming
- semidefinite
- model checking
- convex relaxation
- back propagation
- convex optimization
- neural network model
- pattern recognition
- convex hull
- semidefinite programming
- artificial neural networks
- self organizing maps
- feed forward
- radial basis function
- neural nets
- metric learning
- piecewise linear
- globally optimal
- quadratic program
- linear programming
- semidefinite program