@misc{indiciae28d3bfd5aa59,
  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 = {2018},
  url = {https://arxiv.org/abs/1710.03107},
  note = {Source identifier: 1710.03107}
}