Verifying Binarized Neural Networks by Angluin-Style Learning.
Andy ShihAdnan DarwicheArthur ChoiPublished in: SAT (2019)
Keyphrases
- neural network
- learning process
- learning algorithm
- connectionist systems
- neural nets
- incremental learning
- mobile learning
- knowledge acquisition
- online learning
- learning experience
- learning problems
- recurrent neural networks
- active learning
- pattern recognition
- bounding box
- learning rules
- feedforward neural networks
- reinforcement learning