Parallelization Techniques for Verifying Neural Networks

17 April 2020

Papers citing "Parallelization Techniques for Verifying Neural Networks"

22 / 22 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 48 0 0 23 Feb 2025
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 34 0 0 17 May 2024
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks Mahum Naseer B. Prabakaran Osman Hasan Muhammad Shafique 24 7 0 24 Feb 2023
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 42 11 0 02 Dec 2022
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 34 6 0 12 Sep 2022
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints Abdul-Rauf Nuhu Kishor Datta Gupta W. Bedada Mahmoud Nabil Lydia Zeleke A. Homaifar E. Tunstel 14 3 0 03 Sep 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 27 19 0 20 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei 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
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 47 30 0 19 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 40 26 0 06 Jan 2022
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 10 13 0 21 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 22 112 0 31 Aug 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 19 2 0 09 Jun 2021
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers Colin Paterson Haoze Wu John M. Grese R. Calinescu C. Păsăreanu Clark W. Barrett AAML 30 21 0 02 Mar 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 19 58 0 05 Nov 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 17 33 0 07 Oct 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,842 0 08 Jul 2016