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
Smooth-Reduce: Leveraging Patches for Improved Certified Robustness Ameya Joshi Minh Pham Minsu Cho Leonid Boytsov Filipe Condessa J. Zico Kolter Chinmay Hegde UQCV AAML 70 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 137 61 0 03 May 2022
Backward Reachability Analysis for Neural Feedback Loops Nicholas Rober Michael Everett Jonathan P. How 60 10 0 14 Apr 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 101 31 0 19 Mar 2022
Defending Black-box Skeleton-based Human Activity Classifiers He Wang Yunfeng Diao Zichang Tan G. Guo AAML 133 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 73 17 0 06 Mar 2022
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers Y. Ebihara Hayato Waki Victor Magron N. Mai D. Peaucelle Sophie Tarbouriech 34 9 0 09 Feb 2022
Layer-wise Regularized Adversarial Training using Layers Sustainability Analysis (LSA) framework Mohammad Khalooei M. Homayounpour M. Amirmazlaghani AAML 65 3 0 05 Feb 2022
OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon Jordan Jalving Joshua Haddad Alexander Thebelt Calvin Tsay C. Laird Ruth Misener 84 77 0 04 Feb 2022
Input-Specific Robustness Certification for Randomized Smoothing Ruoxin Chen Jie Li Junchi Yan Ping Li Bin Sheng AAML 156 16 0 21 Dec 2021
Interpolated Joint Space Adversarial Training for Robust and Generalizable Defenses Chun Pong Lau Jiang-Long Liu Hossein Souri Wei-An Lin Soheil Feizi Ramalingam Chellappa AAML 81 13 0 12 Dec 2021
On the Existence of the Adversarial Bayes Classifier (Extended Version) Pranjal Awasthi Natalie Frank M. Mohri 83 25 0 03 Dec 2021
Holistic Deep Learning Dimitris Bertsimas Kimberly Villalobos Carballo L. Boussioux M. Li Alex Paskov I. Paskov 81 2 0 29 Oct 2021
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 71 18 0 29 Oct 2021
Safe Control with Neural Network Dynamic Models Tianhao Wei Changliu Liu 88 36 0 03 Oct 2021
Auditing AI models for Verified Deployment under Semantic Specifications Homanga Bharadhwaj De-An Huang Chaowei Xiao Anima Anandkumar Animesh Garg MLAU 100 6 0 25 Sep 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 Oseledets AAML 84 16 0 22 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 92 19 0 14 Sep 2021
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 61 14 0 01 Sep 2021
Zeroth and First Order Stochastic Frank-Wolfe Algorithms for Constrained Optimization Zeeshan Akhtar K. Rajawat 77 7 0 14 Jul 2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization Francisco Eiras Motasem Alfarra M. P. Kumar Philip Torr P. Dokania Guohao Li Adel Bibi 86 32 0 09 Jul 2021
DeformRS: Certifying Input Deformations with Randomized Smoothing Motasem Alfarra Adel Bibi Naeemullah Khan Philip Torr Guohao Li 66 22 0 02 Jul 2021
Scalable Certified Segmentation via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev 78 41 0 01 Jul 2021
Certified Robustness via Randomized Smoothing over Multiplicative Parameters of Input Transformations Nikita Muravev Aleksandr Petiushko AAML 47 8 0 28 Jun 2021
Meaningfully Debugging Model Mistakes using Conceptual Counterfactual Explanations Abubakar Abid Mert Yuksekgonul James Zou CML 123 64 0 24 Jun 2021
Policy Smoothing for Provably Robust Reinforcement Learning Aounon Kumar Alexander Levine Soheil Feizi AAML 110 58 0 21 Jun 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 123 15 0 16 Jun 2021
Boosting Randomized Smoothing with Variance Reduced Classifiers Miklós Z. Horváth Mark Niklas Muller Marc Fischer Martin Vechev AAML UQCV 90 48 0 13 Jun 2021
A Non-commutative Extension of Lee-Seung's Algorithm for Positive Semidefinite Factorizations Yong Sheng Soh Antonios Varvitsiotis 32 2 0 01 Jun 2021
Skew Orthogonal Convolutions Sahil Singla Soheil Feizi 79 69 0 24 May 2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 76 52 0 14 Apr 2021
Fast Certified Robust Training with Short Warmup Zhouxing Shi Yihan Wang Huan Zhang Jinfeng Yi Cho-Jui Hsieh AAML 99 57 0 31 Mar 2021
Robustness Certification for Point Cloud Models Tobias Lorenz Anian Ruoss Mislav Balunović Gagandeep Singh Martin Vechev 3DPC 101 26 0 30 Mar 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 36 2 0 22 Mar 2021
Improved, Deterministic Smoothing for L_1 Certified Robustness Alexander Levine Soheil Feizi AAML 99 47 0 17 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 123 202 0 11 Mar 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 95 92 0 05 Mar 2021
Adversarial Robustness with Non-uniform Perturbations Ece Naz Erdemir Jeffrey Bickford Luca Melis Sergul Aydore AAML 64 27 0 24 Feb 2021
Center Smoothing: Certified Robustness for Networks with Structured Outputs Aounon Kumar Tom Goldstein OOD AAML UQCV 84 19 0 19 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 97 17 0 18 Feb 2021
Reduced-Order Neural Network Synthesis with Robustness Guarantees R. Drummond M. Turner S. Duncan 70 10 0 18 Feb 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 97 13 0 12 Feb 2021
Adversarially Robust Learning with Unknown Perturbation Sets Omar Montasser Steve Hanneke Nathan Srebro AAML 85 28 0 03 Feb 2021
A Comprehensive Evaluation Framework for Deep Model Robustness Jun Guo Wei Bao Jiakai Wang Yuqing Ma Xing Gao Gang Xiao Aishan Liu Zehao Zhao Xianglong Liu Wenjun Wu AAML ELM 97 61 0 24 Jan 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 130 1 0 22 Jan 2021
Scaling the Convex Barrier with Sparse Dual Algorithms Alessandro De Palma Harkirat Singh Behl Rudy Bunel Philip Torr M. P. Kumar 112 9 0 14 Jan 2021
Characterizing the Evasion Attackability of Multi-label Classifiers Zhuo Yang Yufei Han Xiangliang Zhang AAML 38 10 0 17 Dec 2020
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization Navid Hashemi Justin Ruths Mahyar Fazlyab 107 22 0 10 Dec 2020
How Robust are Randomized Smoothing based Defenses to Data Poisoning? Akshay Mehra B. Kailkhura Pin-Yu Chen Jihun Hamm OOD AAML 113 32 0 02 Dec 2020
Adversarial Robustness Across Representation Spaces Pranjal Awasthi George Yu Chun-Sung Ferng Andrew Tomkins Da-Cheng Juan OOD AAML 81 11 0 01 Dec 2020