@inproceedings{differentiableabstractinterpretationfor,
  title = {Differentiable Abstract Interpretation for Provably Robust Neural Networks},
  author = {Matthew Mirman and Timon Gehr and Martin Vechev},
  year = {2018},
  booktitle = {ICML 2018 7},
  url = {https://icml.cc/Conferences/2018/Schedule?showEvent=2477},
}