PRoA: A Probabilistic Robustness Assessment against Functional
Perturbations

PRoA: A Probabilistic Robustness Assessment against Functional Perturbations

5 July 2022

ArXiv (abs)PDF HTML Github (1★)

Papers citing "PRoA: A Probabilistic Robustness Assessment against Functional Perturbations"

19 / 19 papers shown

Title
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks Mikhail Aleksandrovich Pautov Nurislam Tursynbek Marina Munkhoeva Nikita Muravev Aleksandr Petiushko Ivan Oseledets AAML 80 16 0 22 Sep 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 114 202 0 11 Mar 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 43 58 0 05 Nov 2020
Perceptual Adversarial Robustness: Defense Against Unseen Threat Models Cassidy Laidlaw Sahil Singla Soheil Feizi AAML OOD 89 187 0 22 Jun 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 95 243 0 12 Apr 2020
Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework Dinghuai Zhang Mao Ye Chengyue Gong Zhanxing Zhu Qiang Liu AAML 75 63 0 21 Feb 2020
Functional Adversarial Attacks Cassidy Laidlaw Soheil Feizi AAML 72 185 0 29 May 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 61 80 0 26 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 152 2,044 0 08 Feb 2019
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 60 83 0 17 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 93 763 0 02 Nov 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 271 0 06 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
Adversarial Attacks and Defences Competition Alexey Kurakin Ian Goodfellow Samy Bengio Yinpeng Dong Fangzhou Liao ... Junjiajia Long Yerkebulan Berdibekov Takuya Akiba Seiya Tokui Motoki Abe AAML SILM 93 321 0 31 Mar 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 108 294 0 09 Aug 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 310 12,117 0 19 Jun 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,873 0 03 Feb 2017
Spatial Transformer Networks Max Jaderberg Karen Simonyan Andrew Zisserman Koray Kavukcuoglu 306 7,389 0 05 Jun 2015
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 277 14,961 1 21 Dec 2013