Provable Defense Against Geometric Transformations

Provable Defense Against Geometric Transformations

22 July 2022

Jacob S. Laurel

Sasa Misailovic

Gagandeep Singh

Papers citing "Provable Defense Against Geometric Transformations"

10 / 10 papers shown

Title
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 39 0 0 16 Apr 2025
Specification Generation for Neural Networks in Systems Isha Chaudhary Shuyi Lin Cheng Tan Gagandeep Singh 70 0 0 04 Dec 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 57 1 0 03 Oct 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation Ben Batten Yang Zheng Alessandro De Palma Panagiotis Kouvaros A. Lomuscio AAML 33 0 0 23 Aug 2024
ARoFace: Alignment Robustness to Improve Low-Quality Face Recognition Mohammad Saeed Ebrahimi Saadabadi Sahar Rahimi Malakshan Ali Dabouei Nasser M. Nasrabadi CVBM AAML 24 4 0 20 Jul 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 33 2 0 15 May 2024
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 25 1 0 13 Oct 2023
Pixel-wise Smoothing for Certified Robustness against Camera Motion Perturbations Hanjiang Hu Zuxin Liu Linyi Li Jiacheng Zhu Ding Zhao 30 0 0 22 Sep 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 30 11 0 04 Apr 2023
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 281 5,835 0 08 Jul 2016