Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation

28 November 2020

Papers citing "Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation"

2 / 2 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016