Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation

3 September 2019

Papers citing "Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation"

4 / 54 papers shown

Title
Semantic Robustness of Models of Source Code Goutham Ramakrishnan Jordan Henkel Zi Wang Aws Albarghouthi S. Jha Thomas W. Reps SILM AAML 47 97 0 07 Feb 2020
Adversarial Example Generation with Syntactically Controlled Paraphrase Networks Mohit Iyyer John Wieting Kevin Gimpel Luke Zettlemoyer AAML GAN 205 713 0 17 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 308 5,847 0 08 Jul 2016