Jan Kronqvist

3 papers · 2020–2023 · 2 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 · Bronze 🗺️ Taxonomy Completionist (14)

Venues

NeurIPS (2) AAAI (1)

Top co-authors

Ruth Misener (2) Alexander Thebelt (1) Panagiotis Kouvaros (1) Martin Ryner (1) Calvin Tsay (1) Johan Karlsson (1) Elena Botoeva (1) Alessio Lomuscio (1)

Research topics

Machine Learning (3) Optimization & Theory · Machine Learning (2) Artificial Intelligence (1) Deep Learning (1) Mathematics & Optimization (1) Application Areas (1) Core AI (1) Core Methods (1) Learning Types (1) Mathematics (1) Optimization (1) Optimization & Theory · Deep Learning (1)

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)

Papers

Globally solving the Gromov-Wasserstein problem for point clouds in low dimensional Euclidean spaces NeurIPS 2023 Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks NeurIPS 2021 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis AAAI 2020