DeepMind
Chongli Qin, Krishnamurthy Dvijotham, Brendan ODonoghue, Rudy R Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification;Convex Optimization;Adversarial Robustness
Verification of Non-Linear Specifications for Neural Networks