Froese, Vincent

7 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

NeurIPS 2023 Training Neural Networks Is NP-Hard in Fixed Dimension Vincent Froese, Christoph Hertrich

IJCAI 2022 Disentangling the Computational Complexity of Network Untangling Vincent Froese, Pascal Kunz, Philipp Zschoche

AAAI 2022 Modification-Fair Cluster Editing Vincent Froese, Leon Kellerhals, Rolf Niedermeier

JAIR 2022 The Computational Complexity of ReLU Network Training Parameterized by Data Dimensionality Vincent Froese, Christoph Hertrich, Rolf Niedermeier

IJCAI 2021 Two Influence Maximization Games on Graphs Made Temporal Niclas Boehmer, Vincent Froese, Julia Henkel, Yvonne Lasars, Rolf Niedermeier, Malte Renken