An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

6 January 2022

Papers citing "An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks"

22 / 22 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 45 0 0 02 May 2025
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 37 2 0 09 Jul 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 32 4 0 08 Jan 2024
Expediting Neural Network Verification via Network Reduction Yuyi Zhong Ruiwei Wang Siau-Cheng Khoo AAML 22 2 0 07 Aug 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 25 15 0 31 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 40 1 0 29 May 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 26 14 0 11 Feb 2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks Pengfei Yang Zhiming Chi Zongxin Liu Mengyu Zhao Cheng-Chao Huang Shaowei Cai Lijun Zhang AAML 24 1 0 10 Feb 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song M. Zhang Tao Chen Jun Sun 28 17 0 10 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 41 13 0 06 Dec 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 29 23 0 25 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 30 5 0 23 Oct 2022
On Optimizing Back-Substitution Methods for Neural Network Verification Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 38 5 0 16 Aug 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 16 10 0 02 Jul 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 24 19 0 20 Jun 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin Michele Alberti F. Bobot Zakaria Chihani Augustin Lemesle 41 10 0 07 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
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
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