Complexity of Injectivity and Verification of ReLU Neural Networks

Vincent Froese, Moritz Grillo, Martin Skutella

Neural networks with ReLU activation play a key role in modern machine learning. Understanding the functions represented by ReLU networks is a major topic in current research as th…