Jan Kronqvist
3 papers
· 2020–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(14)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
π
Keyword Champion
Conferences
NIPS (2)
AAAI (1)
Top co-authors
Keywords
relu neural network
(2)
optimal transport
(1)
point cloud
(1)
formal verification
(1)
mixed integer programming
(1)
convex hull
(1)
relu activation
(1)
neural network verification
(1)
mixed-integer optimization
(1)
low-rank optimization
(1)
quadratic assignment problem
(1)
relu network
(1)
milp solver
(1)
dependency analysis
(1)
symbolic interval propagation
(1)
milp formulation
(1)
gromov-wasserstein problem
(1)
disjunctive programming
(1)
bound tightening
(1)
concave quadratic optimization
(1)