TY  - RPRT
TI  - Complexity of Injectivity and Verification of ReLU Neural Networks
AU  - Vincent Froese
AU  - Moritz Grillo
AU  - Martin Skutella
PY  - 2025
UR  - https://arxiv.org/abs/2405.19805
ID  - 2405.19805
ER  -