An SMT-Based Approach for Verifying Binarized Neural Networks.
Guy AmirHaoze WuClark W. BarrettGuy KatzPublished in: CoRR (2020)
Keyphrases
- neural network
- rbf network
- pattern recognition
- artificial neural networks
- activation function
- fuzzy logic
- model checking
- neural network model
- genetic algorithm
- network architecture
- back propagation
- fuzzy systems
- radial basis function
- neural nets
- document images
- bounding box
- recurrent neural networks
- multilayer perceptron
- self organizing maps
- fault diagnosis
- case study
- feature selection
- information retrieval