@misc{indiciae021ae2efc944,
  title = {Training verified learners with learned verifiers},
  author = {Krishnamurthy Dvijotham and Sven Gowal and Robert Stanforth and Relja Arandjelovic and Brendan O'Donoghue and Jonathan Uesato and Pushmeet Kohli},
  year = {2018},
  url = {https://arxiv.org/abs/1805.10265},
  note = {Source identifier: 1805.10265}
}