Strong mixed-integer programming formulations for trained neural networks

20 November 2018

Papers citing "Strong mixed-integer programming formulations for trained neural networks"

4 / 54 papers shown

Title
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 52 263 0 23 Feb 2019
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
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
Input Convex Neural Networks Brandon Amos Lei Xu J. Zico Kolter 187 603 0 22 Sep 2016