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

Vincent Froese, Moritz Grillo, Martin Skutella

Browse the full COLT paper archive.