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

Shaojie Xu, Joel Vaughan, Jie Chen +2

Although neural networks (NNs) with ReLU activation functions have found success in a wide range of applications, their adoption in risk-sensitive settings has been limited by the…