@inproceedings{ShihDCsat19,
  author    = {Andy Shih and Adnan Darwiche and Arthur Choi},
  title     = {Verifying Binarized Neural Networks by Angluin-Style Learning},
  booktitle = {Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT)},
  month     = {july},
  year      = {2019},
  url       = "https://cs.stanford.edu/~andyshih/assets/pdf/SDCsat19.pdf",
  keywords  = {conference}
}