@inproceedings{ShihDarwicheChoi19, author = {Andy Shih and Adnan Darwiche and Arthur Choi}, title = {Verifying {B}inarized Neural Networks by Local Automaton Learning}, year = {2019}, booktitle= {AAAI Spring Symposium on Verification of Neural Networks (VNN)} }