Sound Randomized Smoothing in Floating-Point Arithmetics

Sound Randomized Smoothing in Floating-Point Arithmetics

14 July 2022

Václav Voráček

Matthias Hein

Papers citing "Sound Randomized Smoothing in Floating-Point Arithmetics"

7 / 7 papers shown

Title
Incremental Randomized Smoothing Certification Shubham Ugare Tarun Suresh Debangshu Banerjee Gagandeep Singh Sasa Misailovic AAML 30 8 0 31 May 2023
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness Jiankai Jin O. Ohrimenko Benjamin I. P. Rubinstein AAML 32 2 0 20 May 2022
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla S. Feizi AAML 38 54 0 05 Aug 2021
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 30 128 0 09 Sep 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017