Vincent Froese, Moritz Grillo, Martin Skutella: Complexity of Injectivity and Verification of ReLU Neural Networks (Extended Abstract). COLT 2025: 2188-2189