2025 COLT COLT 2025

Complexity of Injectivity and Verification of ReLU Neural Networks (Extended Abstract)