A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

23 February 2019

Papers citing "A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks"

2 / 152 papers shown

Title
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 24 251 0 20 Nov 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