A Dual Approach to Scalable Verification of Deep Networks

17 March 2018

Krishnamurthy Dvijotham

Papers citing "A Dual Approach to Scalable Verification of Deep Networks"

50 / 69 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 27 0 0 06 May 2025
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 33 1 0 02 Oct 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 39 11 0 31 May 2024
Trust Regions for Explanations via Black-Box Probabilistic Certification Amit Dhurandhar Swagatam Haldar Dennis L. Wei K. Ramamurthy FAtt 19 2 0 17 Feb 2024
Accelerated Smoothing: A Scalable Approach to Randomized Smoothing Devansh Bhardwaj Kshitiz Kaushik Sarthak Gupta AAML 24 0 0 12 Feb 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 21 1 0 17 Dec 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 19 6 0 20 Jul 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses Joana Cabral Costa Tiago Roxo Hugo Manuel Proença Pedro R. M. Inácio AAML 37 49 0 18 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 91 32 0 29 Apr 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 27 2 0 27 Jan 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 25 1 0 27 Jan 2023
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 23 9 0 15 Nov 2022
3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Q. Ni 3DPC 22 10 0 15 Jul 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin J. Dong AAML 21 43 0 24 Jun 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 18 19 0 20 May 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 26 5 0 14 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 39 30 0 19 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 16 14 0 06 Mar 2022
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 26 5 0 25 Nov 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 11 11 0 17 Nov 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 36 8 0 15 Nov 2021
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks Mikhail Aleksandrovich Pautov Nurislam Tursynbek Marina Munkhoeva Nikita Muravev Aleksandr Petiushko Ivan V. Oseledets AAML 44 15 0 22 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 17 112 0 31 Aug 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 39 15 0 16 Jun 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 11 31 0 26 May 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 28 55 0 06 Apr 2021
Adversarial Robustness with Non-uniform Perturbations Ece Naz Erdemir Jeffrey Bickford Luca Melis Sergul Aydore AAML 14 26 0 24 Feb 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel J. Uesato Sven Gowal M. P. Kumar AAML OOD 30 17 0 18 Feb 2021
DSRNA: Differentiable Search of Robust Neural Architectures Ramtin Hosseini Xingyi Yang P. Xie OOD AAML 21 50 0 11 Dec 2020
An efficient nonconvex reformulation of stagewise convex optimization problems Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham Dvijotham OffRL 14 14 0 27 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 Sep 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 25 73 0 07 Aug 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 18 56 0 20 Jul 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 17 62 0 18 Jul 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 19 89 0 24 Jun 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 14 49 0 24 Jun 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 11 57 0 21 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 17 10 0 16 Jun 2020
AI Research Considerations for Human Existential Safety (ARCHES) Andrew Critch David M. Krueger 22 50 0 30 May 2020
Encryption Inspired Adversarial Defense for Visual Classification Maungmaung Aprilpyone Hitoshi Kiya 14 32 0 16 May 2020
Towards Understanding the Adversarial Vulnerability of Skeleton-based Action Recognition Tianhang Zheng Sheng Liu Changyou Chen Junsong Yuan Baochun Li K. Ren AAML 19 17 0 14 May 2020
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 35 22 0 30 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 12 127 0 12 Apr 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 24 785 0 26 Feb 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip H. S. Torr M. P. Kumar 6 50 0 24 Feb 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 19 104 0 16 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 22 3 0 10 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 17 53 0 10 Jan 2020
Fine-grained Synthesis of Unrestricted Adversarial Examples Omid Poursaeed Tianxing Jiang Yordanos Goshu Harry Yang Serge J. Belongie Ser-Nam Lim AAML 30 13 0 20 Nov 2019
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 25 9 0 31 Oct 2019