Lagrangian Decomposition for Neural Network Verification.
Rudy BunelAlessandro De PalmaAlban DesmaisonKrishnamurthy DvijothamPushmeet KohliPhilip H. S. TorrM. Pawan KumarPublished in: UAI (2020)
Keyphrases
- neural network
- neural network model
- artificial neural networks
- pattern recognition
- neural network is trained
- model checking
- radial basis function
- network model
- formal verification
- multilayer perceptron
- back propagation
- optimal solution
- genetic algorithm
- data sets
- decomposition method
- hidden layer
- network architecture
- activation function
- image reconstruction from projections
- false acceptance rate
- verification method
- auto associative
- feedforward neural networks
- multi layer
- neural nets
- prediction model
- feed forward
- fuzzy logic
- multiresolution
- lower bound