The Computational Complexity of Counting Linear Regions in ReLU Neural Networks. - Moritz Stargalla; Christoph Hertrich; Daniel Reichman 001 (CoRR, 2025)