TY  - RPRT
TI  - ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
AU  - Christopher A. Strong
AU  - Sydney M. Katz
AU  - Anthony L. Corso
AU  - Mykel J. Kochenderfer
PY  - 2022
UR  - https://arxiv.org/abs/2106.05325
ID  - 2106.05325
ER  -