DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

2 March 2021

Papers citing "DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers"

7 / 7 papers shown

Title
Learning Run-time Safety Monitors for Machine Learning Components Ozan Vardal Richard Hawkins Colin Paterson Chiara Picardi Daniel Omeiza Lars Kunze Ibrahim Habli 25 0 0 23 Jun 2024
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 39 30 0 19 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 32 26 0 06 Jan 2022
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 27 56 0 20 Jul 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016