@misc{indiciae7cdfaef2788b,
  title = {Fastened CROWN: Tightened Neural Network Robustness Certificates},
  author = {Zhaoyang Lyu and Ching-Yun Ko and Zhifeng Kong and Ngai Wong and Dahua Lin and Luca Daniel},
  year = {2019},
  url = {https://arxiv.org/abs/1912.00574},
  note = {Source identifier: 1912.00574}
}