A Dual Approach to Verify and Train Deep Networks.

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli

Browse the full IJCAI paper archive.