A Dual Approach to Scalable Verification of Deep Networks.

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

Browse the full UAI paper archive.