Neural Network Branching for Neural Network Verification.
Jingyue LuM. Pawan KumarPublished in: ICLR (2020)
Keyphrases
- neural network
- back propagation
- pattern recognition
- artificial neural networks
- fuzzy logic
- training algorithm
- self organizing maps
- neural network model
- feed forward
- recurrent neural networks
- genetic algorithm
- information systems
- multilayer perceptron
- backpropagation neural network
- feedforward neural networks
- feed forward neural networks
- hybrid neural network
- hopfield neural network
- learning vector quantization
- neural network is trained
- database
- activation function
- multi layer perceptron
- hidden layer
- network model
- neural nets
- prediction model
- fault diagnosis
- real time