Skutella, Martin

4 publications

COLT 2025 Complexity of Injectivity and Verification of ReLU Neural Networks (Extended Abstract) Vincent Froese, Moritz Grillo, Martin Skutella

COLT 2025 Open Problem: Fixed-Parameter Tractability of Zonotope Problems Vincent Froese, Moritz Grillo, Christoph Hertrich, Martin Skutella

AAAI 2021 Provably Good Solutions to the Knapsack Problem via Neural Networks of Bounded Size Christoph Hertrich, Martin Skutella

NeurIPS 2021 Towards Lower Bounds on the Depth of ReLU Neural Networks Christoph Hertrich, Amitabh Basu, Marco Di Summa, Martin Skutella