TY  - RPRT
TI  - Training verified learners with learned verifiers
AU  - Krishnamurthy Dvijotham
AU  - Sven Gowal
AU  - Robert Stanforth
AU  - Relja Arandjelovic
AU  - Brendan O'Donoghue
AU  - Jonathan Uesato
AU  - Pushmeet Kohli
PY  - 2018
UR  - https://arxiv.org/abs/1805.10265
ID  - 1805.10265
ER  -