Incremental Randomized Smoothing Certification

31 May 2023

Papers citing "Incremental Randomized Smoothing Certification"

7 / 7 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
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Yuchen Yang Shubham Ugare Yifan Zhao Gagandeep Singh Sasa Misailovic MQ 26 0 0 31 Oct 2024
Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness Vaclav Voracek AAML 27 1 0 25 Jun 2024
Trust, But Verify: A Survey of Randomized Smoothing Techniques Anupriya Kumari Devansh Bhardwaj Sukrit Jindal Sarthak Gupta AAML 27 4 0 19 Dec 2023
Fast Certification of Vision-Language Models Using Incremental Randomized Smoothing Ashutosh Nirala Ameya Joshi Chinmay Hegde S Sarkar VLM 13 0 0 15 Nov 2023
Incremental Network Quantization: Towards Lossless CNNs with Low-Precision Weights Aojun Zhou Anbang Yao Yiwen Guo Lin Xu Yurong Chen MQ 308 1,047 0 10 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017