Smooth-Reduce: Leveraging Patches for Improved Certified Robustness

Smooth-Reduce: Leveraging Patches for Improved Certified Robustness

12 May 2022

Filipe Condessa

J. Zico Kolter

Papers citing "Smooth-Reduce: Leveraging Patches for Improved Certified Robustness"

5 / 5 papers shown

Title
Trust, But Verify: A Survey of Randomized Smoothing Techniques Anupriya Kumari Devansh Bhardwaj Sukrit Jindal Sarthak Gupta AAML 29 4 0 19 Dec 2023
Patches Are All You Need? Asher Trockman J. Zico Kolter ViT 225 402 0 24 Jan 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Aggregated Residual Transformations for Deep Neural Networks Saining Xie Ross B. Girshick Piotr Dollár Z. Tu Kaiming He 297 10,216 0 16 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016