v1v2v3 (latest)

Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective

4 October 2022

ArXiv (abs)PDF HTML Github (31★)

Papers citing "Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective"

50 / 59 papers shown

Title
TAROT: Towards Essentially Domain-Invariant Robustness with Theoretical Justification Dongyoon Yang Jihu Lee Yongdai Kim 85 0 0 10 May 2025
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 76 1 0 02 Oct 2024
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi Yihan Wang Huan Zhang Zico Kolter Cho-Jui Hsieh 152 42 0 13 Oct 2022
Approximation of Lipschitz Functions using Deep Spline Neural Networks Sebastian Neumayer Alexis Goujon Pakshal Bohra M. Unser 62 17 0 13 Apr 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 34 6 0 09 Dec 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 89 78 0 02 Nov 2021
A Dynamical System Perspective for Lipschitz Neural Networks Laurent Meunier Blaise Delattre Alexandre Araujo A. Allauzen 83 56 0 25 Oct 2021
Boosting the Certified Robustness of L-infinity Distance Nets Bohang Zhang Du Jiang Di He Liwei Wang OOD 66 30 0 13 Oct 2021
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla Soheil Feizi AAML 74 58 0 05 Aug 2021
Skew Orthogonal Convolutions Sahil Singla Soheil Feizi 65 69 0 24 May 2021
Orthogonalizing Convolutional Layers with the Cayley Transform Asher Trockman J. Zico Kolter 64 114 0 14 Apr 2021
Fast Certified Robust Training with Short Warmup Zhouxing Shi Yihan Wang Huan Zhang Jinfeng Yi Cho-Jui Hsieh AAML 49 57 0 31 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 114 202 0 11 Mar 2021
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 131 130 0 16 Feb 2021
Towards Certifying L-infinity Robustness using Neural Networks with L-inf-dist Neurons Bohang Zhang Tianle Cai Zhou Lu Di He Liwei Wang OOD 64 51 0 10 Feb 2021
Approximating Lipschitz continuous functions with GroupSort neural networks Ugo Tanielian Maxime Sangnier Gérard Biau 61 39 0 09 Jun 2020
Consistency Regularization for Certified Robustness of Smoothed Classifiers Jongheon Jeong Jinwoo Shin AAML 66 88 0 07 Jun 2020
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 72 214 0 19 Feb 2020
$Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images$ Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images Avrim Blum Travis Dick N. Manoj Hongyang R. Zhang AAML 64 79 0 10 Feb 2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness Aounon Kumar Alexander Levine Tom Goldstein Soheil Feizi 60 96 0 08 Feb 2020
MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius Runtian Zhai Chen Dan Di He Huan Zhang Boqing Gong Pradeep Ravikumar Cho-Jui Hsieh Liwei Wang OOD AAML 89 178 0 08 Jan 2020
Preventing Gradient Attenuation in Lipschitz Constrained Convolutional Networks Qiyang Li Saminul Haque Cem Anil James Lucas Roger C. Grosse Joern-Henrik Jacobsen 86 116 0 03 Nov 2019
Towards Stable and Efficient Training of Verifiably Robust Neural Networks Huan Zhang Hongge Chen Chaowei Xiao Sven Gowal Robert Stanforth Yue Liu Duane S. Boning Cho-Jui Hsieh AAML 80 349 0 14 Jun 2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks Mahyar Fazlyab Alexander Robey Hamed Hassani M. Morari George J. Pappas 96 460 0 12 Jun 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 76 551 0 09 Jun 2019
Universal Lipschitz Approximation in Bounded Depth Neural Networks Jérémy E. Cohen Todd P. Huster Ravid Cohen AAML 44 23 0 09 Apr 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 114 271 0 23 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 152 2,044 0 08 Feb 2019
MMA Training: Direct Input Space Margin Maximization through Adversarial Training G. Ding Yash Sharma Kry Yik-Chau Lui Ruitong Huang AAML 73 273 0 06 Dec 2018
Generalizable Adversarial Training via Spectral Normalization Farzan Farnia Jesse M. Zhang David Tse OOD AAML 75 140 0 19 Nov 2018
Sorting out Lipschitz function approximation Cem Anil James Lucas Roger C. Grosse 86 324 0 13 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 100 439 0 02 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 93 763 0 02 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 82 558 0 30 Oct 2018
Provable Robustness of ReLU networks via Maximization of Linear Regions Francesco Croce Maksym Andriushchenko Matthias Hein 74 166 0 17 Oct 2018
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 1.8K 95,114 0 11 Oct 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 70 404 0 19 Sep 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 91 351 0 10 Sep 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah Aleksander Madry AAML OOD 41 201 0 09 Sep 2018
Limitations of the Lipschitz constant as a defense against adversarial examples Todd P. Huster C. Chiang R. Chadha AAML 45 84 0 25 Jul 2018
Neural Tangent Kernel: Convergence and Generalization in Neural Networks Arthur Jacot Franck Gabriel Clément Hongler 269 3,213 0 20 Jun 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 78 449 0 31 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
Regularisation of Neural Networks by Enforcing Lipschitz Continuity Henry Gouk E. Frank Bernhard Pfahringer M. Cree 170 479 0 12 Apr 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 54 399 0 17 Mar 2018
L2-Nonexpansive Neural Networks Haifeng Qian M. Wegman 47 74 0 22 Feb 2018
Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks Yusuke Tsuzuku Issei Sato Masashi Sugiyama AAML 105 308 0 12 Feb 2018
Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel J. Hsu Suman Jana SILM AAML 96 939 0 09 Feb 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 113 969 0 29 Jan 2018
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 125 1,504 0 02 Nov 2017