Boosting Robustness Verification of Semantic Feature Neighborhoods

12 September 2022

Papers citing "Boosting Robustness Verification of Semantic Feature Neighborhoods"

5 / 5 papers shown

Title
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 34 0 0 17 May 2024
Verification of Neural Networks' Global Robustness Anan Kabaha Dana Drachsler-Cohen AAML OOD 27 5 0 29 Feb 2024
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 30 11 0 04 Apr 2023
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
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016