Papers of the day   All papers

VERIFICATION OF NON-LINEAR SPECIFICATIONS FOR NEURAL NETWORKS

Comments

May 06 2019 DeepMind

For neural networks to be deployed in the real world, we need guarantees that our network satisfy desired specifications. We introduce a method to verify complex non-linear specifications: https://arxiv.org/pdf/1902.09592.pdf (Presented at #ICLR2019 tomorrow, 4:30-6:30pm, Great Hall BC) https://t.co/uC2duNhUmu
5 replies, 641 likes


May 07 2019 pushmeet

The Robust & Verified AI team @DeepMindAI will present its work at @iclr2019 today on extending formal verification of neural models beyond adversarial robustness of image classifiers to a general class of non-linear specifications such as consistency with physics.
0 replies, 19 likes


Feb 27 2019 arxiv

Verification of Non-Linear Specifications for Neural Networks. http://arxiv.org/abs/1902.09592 https://t.co/fart30Uhdf
0 replies, 5 likes


May 06 2019 Conversational AI

RT DeepMindAI: For neural networks to be deployed in the real world, we need guarantees that our network satisfy desired specifications. We introduce a method to verify complex non-linear specifications: https://arxiv.org/pdf/1902.09592.pdf (Presented at #ICLR2019 … https://t.co/EGNYJRpoAu
0 replies, 1 likes


Content