TY  - RPRT
TI  - Constraining the outputs of ReLU neural networks
AU  - Yulia Alexandr
AU  - Guido Montúfar
PY  - 2026
UR  - https://arxiv.org/abs/2508.03867
ID  - 2508.03867
ER  -