Efficient Exact Verification of Binarized Neural Networks.
Kai JiaMartin RinardPublished in: NeurIPS (2020)
Keyphrases
- neural network
- information retrieval
- lightweight
- pattern recognition
- cost effective
- back propagation
- neural nets
- artificial neural networks
- reinforcement learning
- exact and approximate
- rbf network
- recurrent neural networks
- feed forward
- exact solution
- linear space
- database
- radial basis function
- computationally expensive
- input image
- fuzzy logic
- evolutionary algorithm
- video sequences
- case study
- social networks
- artificial intelligence