Efficient Neural Network Verification with Exactness Characterization.

Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli

Browse the full UAI paper archive.