Verifying Properties of Binarized Deep Neural Networks.

Nina Narodytska Shiva Prasad Kasiviswanathan Leonid Ryzhyk Mooly Sagiv Toby Walsh

Published in: CoRR (2017)

Keyphrases

neural network
pattern recognition
genetic algorithm
artificial neural networks
back propagation
search engine
information retrieval
input image
fault diagnosis
radial basis function
feed forward
multilayer perceptron
desirable properties