@article{verificationofbinarizedneuralnetworksvia,
  title = {Verification of Binarized Neural Networks via Inter-Neuron Factoring},
  author = {Chih-Hong Cheng and Georg Nührenberg and Chung-Hao Huang and Harald Ruess},
  year = {2017},
  eprint = {1710.03107},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1710.03107v2},
}