Hybrid Zonotopes Exactly Represent ReLU Neural Networks

5 April 2023

Papers citing "Hybrid Zonotopes Exactly Represent ReLU Neural Networks"

2 / 2 papers shown

Title
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 211 0 0 22 Jan 2025
Constrained Feedforward Neural Network Training via Reachability Analysis Long Kiu Chung Adam Dai Derek Knowles Shreyas Kousik Grace Gao 19 8 0 16 Jul 2021