Hybrid Zonotopes Exactly Represent ReLU Neural Networks

Joshua Ortiz, Alyssa Vellucci, Justin Koeln +1

We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions. Our approach demonstrates that the…