Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis

Open in new window