Kronqvist, Jan

3 publications

NeurIPS 2023 Globally Solving the Gromov-Wasserstein Problem for Point Clouds in Low Dimensional Euclidean Spaces Martin Ryner, Jan Kronqvist, Johan Karlsson

NeurIPS 2021 Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener

AAAI 2020 Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener