Provable Generalization Bounds for Deep Neural Networks with Momentum-Adaptive Gradient Dropout
Adeel Safder
TL;DR
This work addresses overfitting in overparameterized deep neural networks by introducing MAGDrop, a momentum-adaptive dropout that modulates activation-level sparsity based on current gradients and momentum from optimizers. The authors derive a non-asymptotic, computable PAC-Bayes generalization bound with explicit constants that accounts for MAGDrop's adaptivity, showing up to $29.2\%$ tighter bounds relative to static regularization. Empirically, activation-based MAGDrop achieves competitive test accuracies on MNIST and CIFAR-10 with small generalization gaps, and is demonstrated on Tiny ImageNet to explore scaling behavior, all while providing fully reproducible code and numerical bound calculations. The work bridges theory and practice by delivering a concrete regularization mechanism with provable generalization guarantees, offering a robust framework for improving DNN generalization in high-stakes applications.
Abstract
Deep neural networks (DNNs) achieve remarkable performance but often suffer from overfitting due to their high capacity. We introduce Momentum-Adaptive Gradient Dropout (MAGDrop), a novel regularization method that dynamically adjusts dropout rates on activations based on current gradients and accumulated momentum, enhancing stability in non-convex optimization landscapes. To theoretically justify MAGDrop's effectiveness, we derive a non-asymptotic, computable PAC-Bayes generalization bound that accounts for its adaptive nature, achieving up to 29.2\% tighter bounds compared to standard approaches by leveraging momentum-driven perturbation control. Empirically, the activation-based MAGDrop achieves competitive performance on MNIST (99.52\%) and CIFAR-10 (92.03\%), with generalization gaps of 0.48\% and 6.52\%, respectively. We provide fully reproducible code and numerical computation of our bounds to validate our theoretical claims. Our work bridges theoretical insights and practical advancements, offering a robust framework for enhancing DNN generalization, making it suitable for high-stakes applications.
