Formal Analysis of Deep Binarized Neural Networks.

Nina Narodytska

Published in: IJCAI (2018)

Keyphrases

formal analysis
neural network
formal methods
pattern recognition
rbf network
artificial neural networks
multi layer
back propagation
neural network model
ban logic
neural nets
feed forward
fuzzy logic
agent model
input image
associative memory
self organizing maps
fault diagnosis
genetic algorithm