The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.
Christian TjandraatmadjaRoss AndersonJoey HuchetteWill MaKrunal PatelJuan Pablo VielmaPublished in: CoRR (2020)
Keyphrases
- convex relaxation
- single neuron
- neural network
- convex optimization
- control algorithm
- semidefinite
- globally optimal
- multi label
- activation function
- multistage
- multiple kernel learning
- spike trains
- pid control
- optimization methods
- control method
- graph cuts
- light field
- control system
- artificial neural networks
- total variation
- class labels
- fuzzy control
- pid controller
- back propagation
- supervised learning
- fuzzy logic
- image processing
- learning algorithm