An SMT-Based Approach for Verifying Binarized Neural Networks.
Guy AmirHaoze WuClark W. BarrettGuy KatzPublished in: TACAS (2) (2021)
Keyphrases
- neural network
- rbf network
- pattern recognition
- fuzzy logic
- genetic algorithm
- artificial neural networks
- back propagation
- fuzzy systems
- input image
- neural nets
- neural network model
- self organizing maps
- statistical machine translation
- training algorithm
- multilayer perceptron
- feed forward
- object recognition
- computer vision
- model checking
- computational intelligence
- multi layer
- bounding box
- evolutionary algorithm
- network architecture
- information retrieval