DelBugV: Delta-Debugging Neural Network Verifiers

29 May 2023

Papers citing "DelBugV: Delta-Debugging Neural Network Verifiers"

41 / 41 papers shown

Title
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 58 71 0 14 Jan 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 84 13 0 06 Dec 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 86 31 0 19 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 76 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 79 26 0 06 Jan 2022
Bisimulations for Neural Network Reduction P. Prabhakar 67 6 0 07 Oct 2021
Introduction to Neural Network Verification Aws Albarghouthi AAML 75 90 0 21 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 77 112 0 31 Aug 2021
Neural Network Repair with Reachability Analysis Xiaodong Yang Tomochika Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov AAML 39 29 0 09 Aug 2021
Static analysis of ReLU neural networks with tropical polyhedra Eric Goubault Sébastien Palumby S. Putot Louis Rustenholz S. Sankaranarayanan 42 7 0 30 Jul 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 56 21 0 28 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 58 47 0 25 May 2021
NNrepair: Constraint-based Repair of Neural Network Classifiers Muhammad Usman D. Gopinath Youcheng Sun Yannic Noller C. Păsăreanu 29 38 0 23 Mar 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 63 92 0 05 Mar 2021
Towards Repairing Neural Networks Correctly Guoliang Dong Jun Sun Jingyi Wang Xinyu Wang Ting Dai 39 23 0 03 Dec 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 43 33 0 07 Oct 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 63 63 0 18 Jul 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 30 50 0 24 Jun 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 51 59 0 17 Apr 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 242 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 51 129 0 12 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 27 45 0 06 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 68 37 0 06 Mar 2020
CounterExample Guided Neural Synthesis Elizabeth Polgreen Ralph Abboud Daniel Kroening NAI 24 9 0 25 Jan 2020
Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban M. Christakis Valentin Wüstholz Fuyuan Zhang 77 69 0 05 Dec 2019
Machine learning for protein folding and dynamics Frank Noé Gianni De Fabritiis C. Clementi AI4CE 98 137 0 22 Nov 2019
GluonCV and GluonNLP: Deep Learning in Computer Vision and Natural Language Processing Jian Guo He He Tong He Leonard Lausen Mu Li ... Hang Zhang Zhi-Li Zhang Zhongyue Zhang Shuai Zheng Yi Zhu VLM BDL 71 197 0 09 Jul 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 59 105 0 25 Jun 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 73 101 0 22 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 94 400 0 15 Mar 2019
Multi-Task Deep Neural Networks for Natural Language Understanding Xiaodong Liu Pengcheng He Weizhu Chen Jianfeng Gao AI4CE 124 1,271 0 31 Jan 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 102 87 0 02 Oct 2017
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
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 63 359 0 22 Jun 2017
DeepSF: deep convolutional neural network for mapping protein sequences to folds Jie Hou B. Adhikari Jianlin Cheng 63 200 0 04 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 102 626 0 03 May 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,868 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 219 943 0 21 Oct 2016
A Primer on Neural Network Models for Natural Language Processing Yoav Goldberg AI4CE 97 1,131 0 02 Oct 2015
Deep Image: Scaling up Image Recognition Ren Wu Shengen Yan Yi Shan Qingqing Dang Gang Sun VLM 63 373 0 13 Jan 2015
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 277 19,066 0 20 Dec 2014