An Abstraction-Based Framework for Neural Network Verification

31 October 2019

Papers citing "An Abstraction-Based Framework for Neural Network Verification"

29 / 29 papers shown

Title
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 161 1 0 14 Oct 2024
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 14 3 0 28 Apr 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz M. Zhang AAML 37 5 0 27 Jan 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 18 11 0 06 Dec 2022
Efficient Adversarial Input Generation via Neural Net Patching Tooba Khan Kumar Madhukar Subodh Vishnu Sharma AAML 18 0 0 30 Nov 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 24 0 0 16 Nov 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction Edoardo Manino I. Bessa Lucas C. Cordeiro 21 1 0 21 Oct 2022
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 32 6 0 12 Sep 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 18 10 0 02 Jul 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin J. Dong AAML 23 43 0 24 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett M. Zhang Guy Katz AAML 35 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
VPN: Verification of Poisoning in Neural Networks Youcheng Sun Muhammad Usman D. Gopinath C. Păsăreanu AAML 33 2 0 08 May 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang Swarat Chaudhuri 21 9 0 15 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 37 26 0 06 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 32 15 0 18 Oct 2021
Probabilistic Verification of Neural Networks Against Group Fairness Bing-Jie Sun Jun Sun Ting Dai Lijun Zhang AAML 13 22 0 18 Jul 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 13 58 0 05 Nov 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 17 49 0 24 Jun 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 30 390 0 15 Mar 2019
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 42 87 0 02 Oct 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 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 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,837 0 08 Jul 2016