Verifying Properties of Binarized Deep Neural Networks.
Nina NarodytskaShiva Prasad KasiviswanathanLeonid RyzhykMooly SagivToby WalshPublished in: AAAI (2018)
Keyphrases
- neural network
- fuzzy logic
- pattern recognition
- artificial neural networks
- model checking
- input image
- associative memory
- computer vision
- fuzzy systems
- document images
- structural properties
- object detection
- fuzzy neural network
- training algorithm
- desirable properties
- image segmentation
- case study
- artificial intelligence