Towards Certificated Model Robustness Against Weight Perturbations
Tsui-Wei Weng, Pu Zhao, Sijia Liu, Pin-Yu Chen, Xue Lin, Luca Daniel
Abstract
This work studies the sensitivity of neural networks to weight perturbations, firstly corresponding to a newly developed threat model that perturbs the neural network parameters. We propose an efficient approach to compute a certified robustness bound of weight perturbations, within which neural networks will not make erroneous outputs as desired by the adversary. In addition, we identify a useful connection between our developed certification method and the problem of weight quantization, a popular model compression technique in deep neural networks (DNNs) and a ‘must-try’ step in the design of DNN inference engines on resource constrained computing platforms, such as mobiles, FPGA, and ASIC. Specifically, we study the problem of weight quantization – weight perturbations in the non-adversarial setting – through the lens of certificated robustness, and we demonstrate significant improvements on the generalization ability of quantized networks through our robustness-aware quantization scheme.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 14791039-0181-4eb0-9d43-41ca4fd4ecd9Cited by top-tier papers12
- Fisher SAM: Information Geometry and Sharpness Aware MinimisationMinyoung Kim, Da Li, Shell Xu Hu, Timothy M. HospedalesICML 2022 · 96 citations
- Relating Adversarially Robust Generalization to Flat MinimaDavid Stutz, Matthias Hein, Bernt SchieleICCV 2021 · 80 citations
- Prompt Certified Machine Unlearning with Randomized Gradient Smoothing and QuantizationZijie Zhang, Yang Zhou, Xin Zhao, Tianshi Che et al.NeurIPS 2022 · 56 citations
- Exploring the Vulnerability of Deep Neural Networks: A Study of Parameter CorruptionXu Sun, Zhiyuan Zhang, Xuancheng Ren, Ruixuan Luo et al.AAAI 2021 · 45 citations
- Formalizing Generalization and Adversarial Robustness of Neural Networks to Weight PerturbationsYu-Lin Tsai, Chia-Yi Hsu, Chia-Mu Yu, Pin-Yu ChenNeurIPS 2021 · 36 citations
Builds on4
- Towards Evaluating the Robustness of Neural NetworksNicholas Carlini, David A. WagnerS&P 2017 · 9,786 citations
- Distillation as a Defense to Adversarial Perturbations Against Deep Neural NetworksNicolas Papernot, Patrick D. McDaniel, Xi Wu, Somesh Jha et al.S&P 2016 · 3,275 citations
- AI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationTimon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov et al.S&P 2018 · 987 citations
- On the Design of Black-Box Adversarial Examples by Leveraging Gradient-Free Optimization and Operator Splitting MethodPu Zhao, Sijia Liu, Pin-Yu Chen, Nghia Hoang et al.ICCV 2019 · 61 citations
Related papers
- Incremental Randomized Smoothing CertificationShubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh et al.ICLR 2024 · 14 citations
- ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNsYuchen Yang, Yifan Zhao, Shubham Ugare, Gagandeep Singh et al.ISSTA 2026 · 2 citations
- Double-Win Quant: Aggressively Winning Robustness of Quantized Deep Neural Networks via Random Precision Training and InferenceYonggan Fu, Qixuan Yu, Meng Li, Vikas Chandra et al.ICML 2021 · 34 citations
- Mix and Match: A Novel FPGA-Centric Deep Neural Network Quantization FrameworkSung-En Chang, Yanyu Li, Mengshu Sun, Runbin Shi et al.HPCA 2021 · 125 citations
- QVIP: An ILP-based Formal Verification Approach for Quantized Neural NetworksYedi Zhang, Zhe Zhao, Guangke Chen, Fu Song et al.ASE 2022 · 21 citations
