Joshua Ortiz, Alyssa Vellucci, Justin Koeln, Justin Ruths. Hybrid Zonotopes Exactly Represent ReLU Neural Networks. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 5351-5357, IEEE, 2023. [doi]
Abstract is missing.