Neural Network Branching for Neural Network Verification.
Jingyue LuM. Pawan KumarPublished in: CoRR (2019)
Keyphrases
- neural network
- pattern recognition
- back propagation
- artificial neural networks
- neural network model
- training algorithm
- bp neural network
- neural network is trained
- fuzzy logic
- image sequences
- multi layer
- feed forward neural networks
- recurrent neural networks
- prediction model
- neural nets
- information systems
- network architecture
- multi layer perceptron
- activation function
- neural model
- data sets