Vincent Froese

6 papers · 2021–2025 · 4 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (15) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (4) 🗺️ Taxonomy Completionist (15) 🧭 Keyword Pioneer 📈 Trend Setter

Conferences

COLT (2) IJCAI (2) AAAI (1) NIPS (1)

Top co-authors

Christoph Hertrich (2) Moritz Grillo (2) Martin Skutella (2) Rolf Niedermeier (2) Malte Renken (1) Philipp Zschoche (1) Pascal Kunz (1) Leon Kellerhals (1) Yvonne Lasars (1) Niclas Boehmer (1)

Keywords

fixed-parameter tractability (2) temporal graph (2) parameterized complexity (2) network analysis (1) correlation clustering (1) influence maximization (1) vertex cover (1) relu activation (1) graph algorithm (1) fairness constraint (1) np-hard problem (1) graph game (1) cluster editing (1) neural network (1) network untangling (1) combinatorial optimization (1) vertex-colored graph (1) neural network training (1) nash equilibrium (1)

Papers

Complexity of Injectivity and Verification of ReLU Neural Networks (Extended Abstract) COLT 2025

Open Problem: Fixed-Parameter Tractability of Zonotope Problems COLT 2025

Training Neural Networks is NP-Hard in Fixed Dimension NIPS 2023

Modification-Fair Cluster Editing AAAI 2022

Disentangling the Computational Complexity of Network Untangling IJCAI 2022

Two Influence Maximization Games on Graphs Made Temporal IJCAI 2021