@inproceedings{ijcai2019p854, title = {A Dual Approach to Verify and Train Deep Networks}, author = {Gowal, Sven and Dvijotham, Krishnamurthy and Stanforth, Robert and Mann, Timothy and Kohli, Pushmeet}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {6156--6160}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/854}, url = {https://doi.org/10.24963/ijcai.2019/854}, }