Traversing the Local Polytopes of ReLU Neural Networks: A Unified
Approach for Network Verification

Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification

17 November 2021

Jie Chen

Papers citing "Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification"

15 / 15 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 129 37 0 29 Apr 2023
Self-interpretable Convolutional Neural Networks for Text Classification Wei Zhao Rahul Singh Tarun Joshi Agus Sudjianto V. Nair FAtt MILM 51 6 0 18 May 2021
Deep ReLU Networks Have Surprisingly Few Activation Patterns Boris Hanin David Rolnick 78 226 0 03 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 86 399 0 15 Mar 2019
Stochastic Gradient Descent Optimizes Over-parameterized Deep ReLU Networks Difan Zou Yuan Cao Dongruo Zhou Quanquan Gu ODL 174 448 0 21 Nov 2018
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 135 255 0 20 Nov 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 89 691 0 25 Apr 2018
Exact and Consistent Interpretation for Piecewise Linear Neural Networks: A Closed Form Solution Lingyang Chu X. Hu Juhua Hu Lanjun Wang J. Pei 39 99 0 17 Feb 2018
Bounding and Counting Linear Regions of Deep Neural Networks Thiago Serra Christian Tjandraatmadja Srikumar Ramalingam MLT 59 250 0 06 Nov 2017
The Expressive Power of Neural Networks: A View from the Width Zhou Lu Hongming Pu Feicheng Wang Zhiqiang Hu Liwei Wang 96 893 0 08 Sep 2017
Nonparametric regression using deep neural networks with ReLU activation function Johannes Schmidt-Hieber 216 810 0 22 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 301 1,865 0 03 Feb 2017
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 243 8,548 0 16 Aug 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 69 424 0 24 May 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 253 14,912 1 21 Dec 2013