@misc{indiciaea044f0d27a68,
  title = {ReluDiff: Differential Verification of Deep Neural Networks},
  author = {Brandon Paulsen and Jingbo Wang and Chao Wang},
  year = {2020},
  doi = {10.1145/3377811.3380337},
  url = {https://arxiv.org/abs/2001.03662},
  note = {Source identifier: 2001.03662}
}