Semidefinite relaxations for certifying robustness to adversarial examples

2 November 2018

Papers citing "Semidefinite relaxations for certifying robustness to adversarial examples"

50 / 94 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 45 0 0 02 May 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 82 0 0 22 Jan 2025
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 54 0 0 07 Nov 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 60 1 0 03 Oct 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 39 1 0 27 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Trust Regions for Explanations via Black-Box Probabilistic Certification Amit Dhurandhar Swagatam Haldar Dennis L. Wei K. Ramamurthy FAtt 37 2 0 17 Feb 2024
Fast and Exact Enumeration of Deep Networks Partitions Regions Randall Balestriero Yann LeCun 18 5 0 20 Jan 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 30 12 0 20 Dec 2023
Fast, Scalable, Warm-Start Semidefinite Programming with Spectral Bundling and Sketching Rico Angell Andrew McCallum 27 1 0 19 Dec 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 36 0 0 15 Nov 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 32 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 16 11 0 29 Sep 2023
Certifying LLM Safety against Adversarial Prompting Aounon Kumar Chirag Agarwal Suraj Srinivas Aaron Jiaxun Li S. Feizi Himabindu Lakkaraju AAML 27 164 0 06 Sep 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
Provable Robustness for Streaming Models with a Sliding Window Aounon Kumar Vinu Sankar Sadasivan S. Feizi OOD AAML AI4TS 16 1 0 28 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 27 7 0 07 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 30 52 0 06 Mar 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 26 2 0 26 Jan 2023
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 23 9 0 15 Nov 2022
Can Transformers Reason in Fragments of Natural Language? Viktor Schlegel Kamen V. Pavlov Ian Pratt-Hartmann LRM ReLM 30 7 0 10 Nov 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 31 9 0 14 Oct 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 36 45 0 10 Oct 2022
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 26 0 0 01 Oct 2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How 35 26 0 28 Sep 2022
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant N. Mai Victor Magron J. Lasserre Kim-Chuan Toh 16 0 0 13 Sep 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Bo-wen Li AAML OOD 40 8 0 12 Sep 2022
Learning Invariant Representations under General Interventions on the Response Kang Du Yu Xiang OOD 22 8 0 22 Aug 2022
RUSH: Robust Contrastive Learning via Randomized Smoothing Yijiang Pang Boyang Liu Jiayu Zhou OOD AAML 19 1 0 11 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 42 17 0 29 Jun 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 23 43 0 24 Jun 2022
Riemannian data-dependent randomized smoothing for neural networks certification Pol Labarbarie H. Hajri M. Arnaudon 29 4 0 21 Jun 2022
The Consistency of Adversarial Training for Binary Classification Natalie Frank Jonathan Niles-Weed AAML 33 5 0 18 Jun 2022
Towards Evading the Limits of Randomized Smoothing: A Theoretical Analysis Raphael Ettedgui Alexandre Araujo Rafael Pinot Y. Chevaleyre Jamal Atif AAML 34 3 0 03 Jun 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 26 5 0 14 May 2022
Smooth-Reduce: Leveraging Patches for Improved Certified Robustness Ameya Joshi Minh Pham Minsu Cho Leonid Boytsov Filipe Condessa J. Zico Kolter C. Hegde UQCV AAML 26 2 0 12 May 2022
Adversarial Training for High-Stakes Reliability Daniel M. Ziegler Seraphina Nix Lawrence Chan Tim Bauman Peter Schmidt-Nielsen ... Noa Nabeshima Benjamin Weinstein-Raun D. Haas Buck Shlegeris Nate Thomas AAML 32 59 0 03 May 2022
A Simple Approach to Adversarial Robustness in Few-shot Image Classification Akshayvarun Subramanya Hamed Pirsiavash VLM 21 6 0 11 Apr 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
Defending Black-box Skeleton-based Human Activity Classifiers He-Nan Wang Yunfeng Diao Zichang Tan G. Guo AAML 51 10 0 09 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 14 0 06 Mar 2022
Faster One-Sample Stochastic Conditional Gradient Method for Composite Convex Minimization Gideon Dresdner Maria-Luiza Vladarean Olivier Fercoq Francesco Locatello V. Cevher A. Yurtsever 18 1 0 26 Feb 2022
Robust Probabilistic Time Series Forecasting Taeho Yoon Youngsuk Park Ernest K. Ryu Yuyang Wang AAML AI4TS 20 18 0 24 Feb 2022
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers Y. Ebihara Hayato Waki Victor Magron N. Mai D. Peaucelle Sophie Tarbouriech 13 9 0 09 Feb 2022
Layer-wise Regularized Adversarial Training using Layers Sustainability Analysis (LSA) framework Mohammad Khalooei M. Homayounpour M. Amirmazlaghani AAML 22 3 0 05 Feb 2022
OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon Jordan Jalving Joshua Haddad Alexander Thebelt Calvin Tsay C. Laird Ruth Misener 34 70 0 04 Feb 2022
Interpolated Joint Space Adversarial Training for Robust and Generalizable Defenses Chun Pong Lau Jiang-Long Liu Hossein Souri Wei-An Lin S. Feizi Ramalingam Chellappa AAML 29 12 0 12 Dec 2021
On the Existence of the Adversarial Bayes Classifier (Extended Version) Pranjal Awasthi Natalie Frank M. Mohri 26 24 0 03 Dec 2021
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 21 18 0 29 Oct 2021