Robustness of Neural Networks: A Probabilistic and Practical Approach

15 February 2019

Papers citing "Robustness of Neural Networks: A Probabilistic and Practical Approach"

6 / 6 papers shown

Title
Adversarial Examples: Attacks and Defenses for Deep Learning Xiaoyong Yuan Pan He Qile Zhu Xiaolin Li SILM AAML 86 1,622 0 19 Dec 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 943 0 21 Oct 2016
Deep Learning with Differential Privacy Martín Abadi Andy Chu Ian Goodfellow H. B. McMahan Ilya Mironov Kunal Talwar Li Zhang FedML SyDa 191 6,109 0 01 Jul 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 69 424 0 24 May 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 255 14,912 1 21 Dec 2013