Accelerating Certified Robustness Training via Knowledge Transfer

25 October 2022

Papers citing "Accelerating Certified Robustness Training via Knowledge Transfer"

3 / 3 papers shown

Title
Average Certified Radius is a Poor Metric for Randomized Smoothing Chenhao Sun Yuhao Mao Mark Niklas Muller Martin Vechev AAML 36 0 0 09 Oct 2024
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,835 0 03 Feb 2017
Aggregated Residual Transformations for Deep Neural Networks Saining Xie Ross B. Girshick Piotr Dollár Z. Tu Kaiming He 268 10,214 0 16 Nov 2016