@inproceedings{SDC19,
author = {Andy Shih and Adnan Darwiche and Arthur Choi},
booktitle = {Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT)},
title = {Verifying Binarized Neural Networks by Angluin-Style Learning},
year = {2019},
pages = {354--370}
}