Alert button

Verification of Non-Linear Specifications for Neural Networks

Feb 25, 2019
Chongli Qin, Krishnamurthy, Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

Figure 1 for Verification of Non-Linear Specifications for Neural Networks
Figure 2 for Verification of Non-Linear Specifications for Neural Networks
Figure 3 for Verification of Non-Linear Specifications for Neural Networks
Figure 4 for Verification of Non-Linear Specifications for Neural Networks

Share this with someone who'll enjoy it:

View paper onarxiv iconopen_review iconOpenReview

Share this with someone who'll enjoy it: