Stability Analysis and Generalization Bounds of Adversarial Training
This work addresses the generalization issue in adversarial machine learning for researchers and practitioners, providing theoretical insights into robust overfitting and validating practical techniques, though it is incremental as it builds on existing stability frameworks.
The paper tackles the robust overfitting problem in adversarial training by analyzing it through uniform stability, deriving generalization bounds for SGD on η-approximate smooth functions, and showing that robust test accuracy decreases with adversarial perturbation ε at a rate between Ω(ε√T) and O(εT).
In adversarial machine learning, deep neural networks can fit the adversarial examples on the training dataset but have poor generalization ability on the test set. This phenomenon is called robust overfitting, and it can be observed when adversarially training neural nets on common datasets, including SVHN, CIFAR-10, CIFAR-100, and ImageNet. In this paper, we study the robust overfitting issue of adversarial training by using tools from uniform stability. One major challenge is that the outer function (as a maximization of the inner function) is nonsmooth, so the standard technique (e.g., hardt et al., 2016) cannot be applied. Our approach is to consider $η$-approximate smoothness: we show that the outer function satisfies this modified smoothness assumption with $η$ being a constant related to the adversarial perturbation $ε$. Based on this, we derive stability-based generalization bounds for stochastic gradient descent (SGD) on the general class of $η$-approximate smooth functions, which covers the adversarial loss. Our results suggest that robust test accuracy decreases in $ε$ when $T$ is large, with a speed between $Ω(ε\sqrt{T})$ and $\mathcal{O}(εT)$. This phenomenon is also observed in practice. Additionally, we show that a few popular techniques for adversarial training (e.g., early stopping, cyclic learning rate, and stochastic weight averaging) are stability-promoting in theory.