TY  - RPRT
TI  - Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
AU  - Long Kiu Chung
AU  - Shreyas Kousik
PY  - 2025
UR  - https://arxiv.org/abs/2501.13023
ID  - 2501.13023
ER  -