@misc{indiciae2cfa15820d15,
  title = {PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach},
  author = {Tsui-Wei Weng and Pin-Yu Chen and Lam M. Nguyen and Mark S. Squillante and Ivan Oseledets and Luca Daniel},
  year = {2019},
  url = {https://arxiv.org/abs/1812.08329},
  note = {Source identifier: 1812.08329}
}