Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

21 December 2017

Papers citing "Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations"

7 / 7 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 129 37 0 29 Apr 2023
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 103 293 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 301 1,865 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 938 0 21 Oct 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 91 4,163 0 25 Apr 2016
Deep Learning in Neural Networks: An Overview Jürgen Schmidhuber HAI 236 16,348 0 30 Apr 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 253 14,912 1 21 Dec 2013