@misc{indiciaef1f38c298b18,
  title = {Verification of Non-Linear Specifications for Neural Networks},
  author = {Chongli Qin and Krishnamurthy and Dvijotham and Brendan O'Donoghue and Rudy Bunel and Robert Stanforth and Sven Gowal and Jonathan Uesato and Grzegorz Swirszcz and Pushmeet Kohli},
  year = {2019},
  url = {https://arxiv.org/abs/1902.09592},
  note = {Source identifier: 1902.09592}
}