Semidefinite relaxations for certifying robustness to adversarial examples

2 November 2018

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

50 / 186 papers shown

Title
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 100 0 0 12 Jun 2025
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Hong-Ming Chiu Hao Chen Huan Zhang Richard Y. Zhang 18 0 0 07 Jun 2025
T-SHIRT: Token-Selective Hierarchical Data Selection for Instruction Tuning Yanjun Fu Faisal Hamman Sanghamitra Dutta ALM 68 0 0 02 Jun 2025
Logic Gate Neural Networks are Good for Verification Fabian Kresse Emily Yu Christoph H. Lampert T. Henzinger 18 0 0 26 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 107 0 0 02 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 65 0 0 23 Apr 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 156 0 0 22 Jan 2025
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 113 1 0 07 Nov 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 136 1 0 03 Oct 2024
Certifying Global Robustness for Deep Neural Networks You Li Guannan Zhao Shuyu Kong Yunqi He Hai Zhou AAML 56 0 0 31 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 128 1 0 27 May 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 64 2 0 15 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 120 3 0 12 Apr 2024
Fast and Exact Enumeration of Deep Networks Partitions Regions Randall Balestriero Yann LeCun 55 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 78 12 0 20 Dec 2023
Fast, Scalable, Warm-Start Semidefinite Programming with Spectral Bundling and Sketching Rico Angell Andrew McCallum 110 2 0 19 Dec 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 75 0 0 15 Nov 2023
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification Y. Ebihara Xin Dai Victor Magron D. Peaucelle Sophie Tarbouriech 27 5 0 17 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 113 11 0 29 Sep 2023
Certifying LLM Safety against Adversarial Prompting Aounon Kumar Chirag Agarwal Suraj Srinivas Aaron Jiaxun Li Soheil Feizi Himabindu Lakkaraju AAML 151 197 0 06 Sep 2023
On the Robustness of Removal-Based Feature Attributions Christy Lin Ian Covert Su-In Lee 120 13 0 12 Jun 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 160 37 0 29 Apr 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 55 8 0 07 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 78 56 0 06 Mar 2023
Run-Off Election: Improved Provable Defense against Data Poisoning Attacks Keivan Rezaei Kiarash Banihashem Atoosa Malemir Chegini Soheil Feizi AAML 89 18 0 05 Feb 2023
Certified Interpretability Robustness for Class Activation Mapping Alex Gu Tsui-Wei Weng Pin-Yu Chen Sijia Liu Lucani E. Daniel AAML 56 2 0 26 Jan 2023
A Theoretical Study of The Effects of Adversarial Attacks on Sparse Regression Deepak Maurya Jean Honorio AAML 70 0 0 21 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 81 5 0 03 Dec 2022
Improved techniques for deterministic l2 robustness Sahil Singla Soheil Feizi AAML 97 10 0 15 Nov 2022
Can Transformers Reason in Fragments of Natural Language? Viktor Schlegel Kamen V. Pavlov Ian Pratt-Hartmann LRM ReLM 77 7 0 10 Nov 2022
DensePure: Understanding Diffusion Models towards Adversarial Robustness Chaowei Xiao Zhongzhu Chen Kun Jin Jiong Wang Weili Nie Mingyan D. Liu Anima Anandkumar Yue Liu Basel Alomair DiffM 113 38 0 01 Nov 2022
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan J. Hayase A. Dimakis Sewoong Oh 83 3 0 14 Oct 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 61 9 0 14 Oct 2022
Certified Training: Small Boxes are All You Need Mark Niklas Muller Franziska Eckert Marc Fischer Martin Vechev AAML 99 48 0 10 Oct 2022
Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective Bohang Zhang Du Jiang Di He Liwei Wang OOD 90 53 0 04 Oct 2022
On the tightness of linear relaxation based robustness certification methods Cheng Tang AAML 79 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 92 28 0 28 Sep 2022
State-driven Implicit Modeling for Sparsity and Robustness in Neural Networks Alicia Y. Tsai Juliette Decugis L. Ghaoui Alper Atamtürk 92 3 0 19 Sep 2022
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant N. Mai Victor Magron J. Lasserre Kim-Chuan Toh 68 0 0 13 Sep 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Yue Liu AAML OOD 122 8 0 12 Sep 2022
Learning Invariant Representations under General Interventions on the Response Kang Du Yu Xiang OOD 103 8 0 22 Aug 2022
A Novel Plug-and-Play Approach for Adversarially Robust Generalization Deepak Maurya Adarsh Barik Jean Honorio OOD AAML 83 0 0 19 Aug 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Yue Liu Suman Jana Cho-Jui Hsieh J. Zico Kolter 72 104 0 11 Aug 2022
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions Zhizhen Qin Tsui-Wei Weng Sicun Gao 47 14 0 28 Jul 2022
RUSH: Robust Contrastive Learning via Randomized Smoothing Yijiang Pang Boyang Liu Jiayu Zhou OOD AAML 61 1 0 11 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 77 37 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 88 17 0 29 Jun 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 115 18 0 08 Jun 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 97 2 0 07 Jun 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 66 5 0 14 May 2022