Lagrangian Decomposition for Neural Network Verification.
Rudy BunelAlessandro De PalmaAlban DesmaisonKrishnamurthy DvijothamPushmeet KohliPhilip H. S. TorrM. Pawan KumarPublished in: CoRR (2020)
Keyphrases
- neural network
- model checking
- decomposition method
- back propagation
- neural network is trained
- formal verification
- artificial neural networks
- backpropagation neural network
- bp neural network
- network model
- training algorithm
- network architecture
- face verification
- neural network model
- asynchronous circuits
- training process
- lagrangian dual
- fermentation process
- decomposition algorithm
- image reconstruction from projections
- numerical methods
- neural nets
- recurrent neural networks
- multilayer perceptron
- feed forward
- fuzzy logic
- knn
- pattern recognition