mlsanityData to 14 Oct 2026

Certified Training for Convolutional Perturbations

arXiv 2607.18195 ↗First posted 20 Jul 2026cs.CV cs.LGcited by 0

Not on the map. Why?

Abstract (arXiv)

Vision models have been found to be susceptible to perturbations such as motion blur induced at runtime by a shaking camera. This impedes their deployment in critical applications since phenomena such as slightly blurred vision might lead to failures, for example an object detector missing objects. While methods such as data augmentation or Adversarial Training can improve empirical robustness, they lack formal safety guarantees, making it difficult to identify and mitigate hidden vulnerabilities. We introduce a novel Certified Training approach that leverages an efficient encoding of convolutional perturbations to train provably robust models. Our method significantly outperforms Adversarial Training, achieving, for example, over 80% robust accuracy against motion blur of reasonable intensity on CIFAR10 while maintaining comparable standard accuracy.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 44 of its 66 references that are in the map. First posted on arXiv 20 Jul 2026.

Builds on

44 of 66 references.

References · 44

  1. 2019PyTorch: An Imperative Style, High-Performance Deep Learning Librarycited by 20,305
  2. 2014Explaining and Harnessing Adversarial Examplescited by 7,364
  3. 2015Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shiftcited by 7,005
  4. 2017Towards Deep Learning Models Resistant to Adversarial Attackscited by 6,415
  5. 2013Intriguing properties of neural networkscited by 5,155
  6. 2016Towards Evaluating the Robustness of Neural Networkscited by 2,998
  7. 2019Theoretically Principled Trade-off between Robustness and Accuracycited by 1,517
  8. 2015The Limitations of Deep Learning in Adversarial Settingscited by 790
  9. 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
  10. 2017Provable defenses against adversarial examples via the convex outer adversarial polytopecited by 567
  11. 2018Efficient Neural Network Robustness Certification with General Activation Functionscited by 445
  12. 2018On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Modelscited by 328
32 more
  1. 2021Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verificationcited by 228
  2. 2019Algorithms for Verifying Deep Neural Networkscited by 221
  3. 2019Towards Stable and Efficient Training of Verifiably Robust Neural Networkscited by 205
  4. 2020Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifierscited by 187
  5. 2018Formal Security Analysis of Neural Networks using Symbolic Intervalscited by 185
  6. 2018Efficient Formal Safety Analysis of Neural Networkscited by 165
  7. 2020Physically Realizable Adversarial Examples for LiDAR Object Detectioncited by 137
  8. 2020SoK: Certified Robustness for Deep Neural Networkscited by 105
  9. 2022General Cutting Planes for Bound-Propagation-Based Neural Network Verificationcited by 103
  10. 2022Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Boundcited by 92
  11. 2020Robustness Verification for Transformerscited by 76
  12. 2018Training for Faster Adversarial Robustness Verification via Inducing ReLU Stabilitycited by 67
  13. 2022Certified Training: Small Boxes are All You Needcited by 52
  14. 2021Fast Certified Robust Training with Short Warmupcited by 46
  15. 2021Improved Branch and Bound for Neural Network Verification via Lagrangian Decompositioncited by 44
  16. 2020Scaling Polyhedral Neural Network Verification on GPUscited by 43
  17. 2024Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planescited by 33
  18. 2023Understanding Certified Training with Interval Bound Propagationcited by 26
  19. 2023Expressive Losses for Verified Robustness via Convex Combinationscited by 23
  20. 2022IBP Regularization for Verified Adversarial Robustness via Branch-and-Boundcited by 21
  21. 2020Robustness Certification of Generative Modelscited by 19
  22. 2020Improved Handling of Motion Blur in Online Object Detectioncited by 18
  23. 2022Toward Certified Robustness Against Real-World Distribution Shiftscited by 16
  24. 2024CTBENCH: A Library and Benchmark for Certified Trainingcited by 14
  25. 2018Formal Verification of CNN-based Perception Systemscited by 13
  26. 2021DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifierscited by 11
  27. 2024Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisationcited by 7
  28. 2022Optimized Symbolic Interval Propagation for Neural Network Verificationcited by 4
  29. 2023Data-Driven Modeling and Verification of Perception-Based Autonomous Systemscited by 3
  30. 2024VerifIoU -- Robustness of Object Detection to Perturbationscited by 3
  31. 2024Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernelscited by 2
  32. 2026IoUCert: Robustness Verification for Anchor-based Object Detectorscited by 1

Built on by

Not cited yet.