Expressive Losses for Verified Robustness via Convex Combinations

23 May 2023

Papers citing "Expressive Losses for Verified Robustness via Convex Combinations"

8 / 8 papers shown

Title
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 34 0 0 16 Apr 2025
Average Certified Radius is a Poor Metric for Randomized Smoothing Chenhao Sun Yuhao Mao Mark Niklas Muller Martin Vechev AAML 31 0 0 09 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 33 1 0 02 Oct 2024
Understanding Certified Training with Interval Bound Propagation Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 41 14 0 17 Jun 2023
Do Current Multi-Task Optimization Methods in Deep Learning Even Help? Derrick Xin Behrooz Ghorbani Ankush Garg Orhan Firat Justin Gilmer MoMe 67 61 0 23 Sep 2022
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla S. Feizi AAML 30 52 0 05 Aug 2021
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
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,818 0 03 Feb 2017