Rethinking lipschitz neural networks and certified robustness: A boolean function perspective

B Zhang, D Jiang, D He… - Advances in neural …, 2022 - proceedings.neurips.cc
Designing neural networks with bounded Lipschitz constant is a promising way to obtain
certifiably robust classifiers against adversarial examples. However, the relevant progress …

Sok: Certified robustness for deep neural networks

L Li, T **e, B Li - 2023 IEEE symposium on security and privacy …, 2023 - ieeexplore.ieee.org
Great advances in deep neural networks (DNNs) have led to state-of-the-art performance on
a wide range of tasks. However, recent studies have shown that DNNs are vulnerable to …

Randomized smoothing of all shapes and sizes

G Yang, T Duan, JE Hu, H Salman… - International …, 2020 - proceedings.mlr.press
Randomized smoothing is the current state-of-the-art defense with provable robustness
against $\ell_2 $ adversarial attacks. Many works have devised new randomized smoothing …

Skew orthogonal convolutions

S Singla, S Feizi - International Conference on Machine …, 2021 - proceedings.mlr.press
Training convolutional neural networks with a Lipschitz constraint under the $ l_ {2} $ norm
is useful for provable adversarial robustness, interpretable gradients, stable training, etc …

Prompt certified machine unlearning with randomized gradient smoothing and quantization

Z Zhang, Y Zhou, X Zhao, T Che… - Advances in Neural …, 2022 - proceedings.neurips.cc
The right to be forgotten calls for efficient machine unlearning techniques that make trained
machine learning models forget a cohort of data. The combination of training and unlearning …

Fast certified robust training with short warmup

Z Shi, Y Wang, H Zhang, J Yi… - Advances in Neural …, 2021 - proceedings.neurips.cc
Recently, bound propagation based certified robust training methods have been proposed
for training neural networks with certifiable robustness guarantees. Despite that state-of-the …

A unified algebraic perspective on lipschitz neural networks

A Araujo, A Havens, B Delattre, A Allauzen… - arxiv preprint arxiv …, 2023 - arxiv.org
Important research efforts have focused on the design and training of neural networks with a
controlled Lipschitz constant. The goal is to increase and sometimes guarantee the …

Adversarial robustness with semi-infinite constrained learning

A Robey, L Chamon, GJ Pappas… - Advances in …, 2021 - proceedings.neurips.cc
Despite strong performance in numerous applications, the fragility of deep learning to input
perturbations has raised serious questions about its use in safety-critical domains. While …

Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100

S Singla, S Singla, S Feizi - arxiv preprint arxiv:2108.04062, 2021 - arxiv.org
Training convolutional neural networks (CNNs) with a strict Lipschitz constraint under the $
l_ {2} $ norm is useful for provable adversarial robustness, interpretable gradients and …

Towards certifying l-infinity robustness using neural networks with l-inf-dist neurons

B Zhang, T Cai, Z Lu, D He… - … Conference on Machine …, 2021 - proceedings.mlr.press
It is well-known that standard neural networks, even with a high classification accuracy, are
vulnerable to small $\ell_\infty $-norm bounded adversarial perturbations. Although many …