DeepAbstract: Neural Network Abstraction for Accelerating Verification

24 June 2020

Papers citing "DeepAbstract: Neural Network Abstraction for Accelerating Verification"

9 / 9 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 43 0 0 23 Feb 2025
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
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
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 21 12 0 22 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 32 26 0 06 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 16 15 0 18 Oct 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 11 58 0 05 Nov 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016