Input Validation for Neural Networks via Runtime Local Robustness
Verification

Input Validation for Neural Networks via Runtime Local Robustness Verification

9 February 2020

Papers citing "Input Validation for Neural Networks via Runtime Local Robustness Verification"

10 / 10 papers shown

Title
HopSkipJumpAttack: A Query-Efficient Decision-Based Attack Jianbo Chen Michael I. Jordan Martin J. Wainwright AAML 48 661 0 03 Apr 2019
Adversarial Robustness Toolbox v1.0.0 Maria-Irina Nicolae M. Sinn Minh-Ngoc Tran Beat Buesser Ambrish Rawat ... Nathalie Baracaldo Bryant Chen Heiko Ludwig Ian Molloy Ben Edwards AAML VLM 67 457 0 03 Jul 2018
Adversarial Examples, Uncertainty, and Transfer Testing Robustness in Gaussian Process Hybrid Deep Networks John Bradshaw A. G. Matthews Zoubin Ghahramani BDL AAML 83 171 0 08 Jul 2017
Detecting Adversarial Samples from Artifacts Reuben Feinman Ryan R. Curtin S. Shintre Andrew B. Gardner AAML 67 892 0 01 Mar 2017
On the (Statistical) Detection of Adversarial Examples Kathrin Grosse Praveen Manoharan Nicolas Papernot Michael Backes Patrick McDaniel AAML 54 710 0 21 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 286 1,849 0 03 Feb 2017
Aggregated Residual Transformations for Deep Neural Networks Saining Xie Ross B. Girshick Piotr Dollár Zhuowen Tu Kaiming He 409 10,281 0 16 Nov 2016
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 440 3,124 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 198 935 0 21 Oct 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 140 14,831 1 21 Dec 2013