An analysis of optimization problems involving ReLU neural networks. - Christoph Plate; Mirko Hahn; Alexander Klimek; Caroline Ganzer; Kai Sundmacher; Sebastian Sager (CoRR, 2025)