Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models

3 June 2019

Papers citing "Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models"

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 251 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 300 3,115 0 04 Nov 2016