Vincent Froese
6 papers · 2021–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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
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