Vincent Froese
6 papers · 2021–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(16)
Venues
Top co-authors
Research topics
Machine Learning
(4)
Core Methods
(3)
Artificial Intelligence
(2)
Computer Science
(2)
Deep Learning
(2)
Mathematics & Optimization
(2)
Architectures
(2)
Core AI
(2)
Foundations
(2)
Mathematics
(2)
Optimization
(2)
Optimization & Theory · Machine Learning
(2)
Application Areas
(1)
Optimization & Theory · Deep Learning
(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)
vertex-colored graph
(1)
relu
(1)
conp-completeness
(1)
injectivity
(1)
surjectivity
(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
NeurIPS 2023
Disentangling the Computational Complexity of Network Untangling
IJCAI 2022
Modification-Fair Cluster Editing
AAAI 2022
Two Influence Maximization Games on Graphs Made Temporal
IJCAI 2021