Exploiting Sparsity for Neural Network Verification.
Matthew NewtonAntonis PapachristodoulouPublished in: L4DC (2021)
Keyphrases
- neural network
- artificial neural networks
- neural network model
- model checking
- back propagation
- prediction model
- recurrent neural networks
- neural network is trained
- artificial intelligence
- sparse representation
- neural nets
- formal methods
- back propagation neural network
- fuzzy logic
- high dimensional
- verification method
- feed forward
- learning vector quantization
- nearest neighbour
- auto associative
- backpropagation neural network
- fuzzy neural network
- network architecture
- hidden layer
- multilayer perceptron
- self organizing maps
- fault diagnosis
- knn
- expert systems
- pattern recognition
- learning algorithm
- genetic algorithm