TY  - RPRT
TI  - Constrained Feedforward Neural Network Training via Reachability Analysis
AU  - Long Kiu Chung
AU  - Adam Dai
AU  - Derek Knowles
AU  - Shreyas Kousik
AU  - Grace X. Gao
PY  - 2021
UR  - https://arxiv.org/abs/2107.07696
ID  - 2107.07696
ER  -