A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

23 February 2019

Papers citing "A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks"

50 / 152 papers shown

Title
Adversarial Examples in Environment Perception for Automated Driving (Review) Jun Yan Huilin Yin AAML 34 0 0 11 Apr 2025
A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice Eric Heim Oren Wright David Shriver OOD FaML 73 0 0 01 Mar 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 52 0 0 22 Feb 2025
Robust Representation Consistency Model via Contrastive Denoising Jiachen Lei Julius Berner Jiongxiao Wang Zhongzhu Chen Zhongjia Ba Kui Ren Jun Zhu Anima Anandkumar DiffM 87 0 0 22 Jan 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 103 1 0 12 Dec 2024
Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations Pablo Carrasco Gonzalo Muñoz 59 2 0 30 Oct 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 32 1 0 27 Oct 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation Ben Batten Yang Zheng Alessandro De Palma Panagiotis Kouvaros A. Lomuscio AAML 38 0 0 23 Aug 2024
Achieving the Tightest Relaxation of Sigmoids for Formal Verification Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham 29 0 0 20 Aug 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Kwiatkowska Huan Zhang AAML 38 2 0 17 Aug 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 42 0 0 26 Jun 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 41 1 0 27 May 2024
Relational DNN Verification With Cross Executional Bound Refinement Debangshu Banerjee Gagandeep Singh AAML 29 5 0 16 May 2024
Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing Alaa Anani Tobias Lorenz Bernt Schiele Mario Fritz 21 0 0 13 Feb 2024
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers Daqian Shao Lukas Fesser Marta Z. Kwiatkowska 36 0 0 28 Nov 2023
Assurance for Deployed Continual Learning Systems Ari Goodman Ryan P. O'Shea Noam Hirschorn Hubert Chrostowski 16 0 0 16 Nov 2023
Interpretable Reinforcement Learning for Robotics and Continuous Control Rohan R. Paleja Letian Chen Yaru Niu Andrew Silva Zhaoxin Li ... K. Chang H. E. Tseng Yan Wang S. Nageshrao Matthew C. Gombolay 39 7 0 16 Nov 2023
Expressivity of ReLU-Networks under Convex Relaxations Maximilian Baader Mark Niklas Muller Yuhao Mao Martin Vechev 36 3 0 07 Nov 2023
Verification of Neural Networks Local Differential Classification Privacy Roie Reshef Anan Kabaha Olga Seleznova Dana Drachsler-Cohen AAML 42 2 0 31 Oct 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 35 1 0 13 Oct 2023
Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations Hanjiang Hu Zuxin Liu Linyi Li Jiacheng Zhu Ding Zhao 30 0 0 22 Sep 2023
It's Simplex! Disaggregating Measures to Improve Certified Robustness Andrew C. Cullen Paul Montague Shijie Liu S. Erfani Benjamin I. P. Rubinstein 28 1 0 20 Sep 2023
DiffSmooth: Certifiably Robust Learning via Diffusion Models and Local Smoothing Jiawei Zhang Zhongzhu Chen Huan Zhang Chaowei Xiao Bo-wen Li DiffM 44 21 0 28 Aug 2023
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 20 0 0 23 Aug 2023
Certified Robustness for Large Language Models with Self-Denoising Zhen Zhang Guanhua Zhang Bairu Hou Wenqi Fan Qing Li Sijia Liu Yang Zhang Shiyu Chang 19 22 0 14 Jul 2023
How robust accuracy suffers from certified training with convex relaxations Piersilvio De Bartolomeis Jacob Clarysse Amartya Sanyal Fanny Yang AAML 39 2 0 12 Jun 2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation Zhiyi Xue Si Liu Zhaodi Zhang Yiting Wu Mengdi Zhang AAML 23 2 0 26 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 26 1 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 33 0 29 Apr 2023
Certifying Ensembles: A General Certification Theory with S-Lipschitzness Aleksandar Petrov Francisco Eiras Amartya Sanyal Philip Torr Adel Bibi UQCV 40 1 0 25 Apr 2023
RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks Yunruo Zhang Tianyu Du S. Ji Peng Tang Shanqing Guo AAML 36 2 0 17 Apr 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 38 11 0 04 Apr 2023
Efficient Symbolic Reasoning for Neural-Network Verification Zi Wang S. Jha Krishnamurthy Dvijotham Dvijotham AAML NAI 38 1 0 23 Mar 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 28 5 0 23 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Jiaheng Liu Min Zhang 51 4 0 21 Mar 2023
Reachability Analysis of Neural Networks with Uncertain Parameters Pierre-Jean Meyer 18 0 0 14 Mar 2023
Et Tu Certifications: Robustness Certificates Yield Better Adversarial Examples Andrew C. Cullen Shijie Liu Paul Montague S. Erfani Benjamin I. P. Rubinstein AAML 20 0 0 09 Feb 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 38 12 0 02 Feb 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 29 5 0 31 Jan 2023
Limitations of Piecewise Linearity for Efficient Robustness Certification Klas Leino AAML 41 6 0 21 Jan 2023
Explainability and Robustness of Deep Visual Classification Models Jindong Gu AAML 47 2 0 03 Jan 2023
Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations Hong-Ming Chiu Richard Y. Zhang AAML 22 2 0 30 Nov 2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation Yiting Wu Zhaodi Zhang Zhiyi Xue Si Liu Mengdi Zhang AAML 34 0 0 21 Nov 2022
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 25 10 0 15 Nov 2022
Data Models for Dataset Drift Controls in Machine Learning With Optical Images Luis Oala Marco Aversa Gabriel Nobis Kurt Willis Yoan Neuenschwander ... E. Pomarico Wojciech Samek Roderick Murray-Smith Christoph Clausen B. Sanguinetti 33 5 0 04 Nov 2022
DensePure: Understanding Diffusion Models towards Adversarial Robustness Chaowei Xiao Zhongzhu Chen Kun Jin Jiong Wang Weili Nie Mingyan D. Liu Anima Anandkumar Bo-wen Li D. Song DiffM 40 35 0 01 Nov 2022
FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs Yujia Huang I. D. Rodriguez Huan Zhang Yuanyuan Shi Yisong Yue 16 0 0 30 Oct 2022
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction Edoardo Manino I. Bessa Lucas C. Cordeiro 21 1 0 21 Oct 2022
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan J. Hayase A. Dimakis Sewoong Oh 26 4 0 14 Oct 2022