Boosting Few-Pixel Robustness Verification via Covering Verification Designs

17 May 2024

Papers citing "Boosting Few-Pixel Robustness Verification via Covering Verification Designs"

4 / 4 papers shown

Title
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 19 6 0 12 Sep 2022
Mind the box: $l_1$ -APGD for sparse adversarial attacks on image classifiers Francesco Croce Matthias Hein AAML 40 54 0 01 Mar 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,832 0 03 Feb 2017