Verification of Binarized Neural Networks.
Chih-Hong ChengGeorg NührenbergHarald RuessPublished in: CoRR (2017)
Keyphrases
- neural network
- pattern recognition
- model checking
- fuzzy logic
- genetic algorithm
- artificial neural networks
- input image
- formal verification
- back propagation
- document images
- multilayer perceptron
- face verification
- multi layer
- self organizing maps
- feed forward
- support vector machine
- recurrent neural networks
- neural nets
- bounding box
- training process
- fault diagnosis
- cellular neural networks
- edge detection
- asynchronous circuits