Misener, Ruth

17 publications

ICML 2025 BARK: A Fully Bayesian Tree Kernel for Black-Box Optimization Toby Boyne, Jose Pablo Folch, Robert Matthew Lee, Behrang Shafei, Ruth Misener

MLOSS 2025 BoFire: Bayesian Optimization Framework Intended for Real Experiments Johannes P. Dürholt, Thomas S. Asche, Johanna Kleinekorte, Gabriel Mancino-Ball, Benjamin Schiller, Simon Sung, Julian Keupp, Aaron Osburg, Toby Boyne, Ruth Misener, Rosona Eldred, Chrysoula Kappatou, Robert M. Lee, Dominik Linzner, Wagner Steuer Costa, David Walz, Niklas Wulkow, Behrang Shafei

ICLRW 2025 Molecular Design Using Graph Bayesian Optimization with Shortest-Path Kernels Yilin Xie, Shiqiang Zhang, Jixiang Qing, Ruth Misener, Calvin Tsay

TMLR 2025 System-Aware Neural ODE Processes for Few-Shot Bayesian Optimization Jixiang Qing, Rebecca D. Langdon, Robert Matthew Lee, Behrang Shafei, Mark van der Wilk, Calvin Tsay, Ruth Misener

NeurIPS 2025 The Catechol Benchmark: Time-Series Solvent Selection Data for Few-Shot Machine Learning Toby Boyne, Juan S Campos, Rebecca D. Langdon, Jixiang Qing, Yilin Xie, Shiqiang Zhang, Calvin Tsay, Ruth Misener, Daniel W. Davies, Kim E Jelfs, Sarah Boyall, Thomas Mark Dixon, Linden Schrecker, Jose Pablo Folch

AISTATS 2025 Weighted Sum of Gaussian Process Latent Variable Models James A C Odgers, Ruby Sedgwick, Chrysoula Dimitra Kappatou, Ruth Misener, Sarah Lucie Filippi

NeurIPS 2024 Transition Constrained Bayesian Optimization via Markov Decision Processes Jose Pablo Folch, Calvin Tsay, Robert M Lee, Behrang Shafei, Weronika Ormaniec, Andreas Krause, Mark van der Wilk, Ruth Misener, Mojmír Mutný

ICML 2024 Verifying Message-Passing Neural Networks via Topology-Based Bounds Tightening Christopher Hojny, Shiqiang Zhang, Juan S Campos, Ruth Misener

NeurIPS 2023 Optimizing over Trained GNNs via Symmetry Breaking Shiqiang Zhang, Juan Campos, Christian Feldmann, David Walz, Frederik Sandfort, Miriam Mathea, Calvin Tsay, Ruth Misener

NeurIPSW 2023 Practical Path-Based Bayesian Optimization Jose Pablo Folch, James A C Odgers, Shiqiang Zhang, Robert Matthew Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener

MLOSS 2022 OMLT: Optimization & Machine Learning Toolkit Francesco Ceccon, Jordan Jalving, Joshua Haddad, Alexander Thebelt, Calvin Tsay, Carl D Laird, Ruth Misener

NeurIPS 2022 SnAKe: Bayesian Optimization with Pathwise Exploration Jose Pablo Folch, Shiqiang Zhang, Robert Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener

NeurIPS 2022 Tree Ensemble Kernels for Bayesian Optimization with Known Constraints over Mixed-Feature Spaces Alexander Thebelt, Calvin Tsay, Robert Lee, Nathan Sudermann-Merx, David Walz, Behrang Shafei, Ruth Misener

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

AAAI 2019 Argumentation for Explainable Scheduling Kristijonas Cyras, Dimitrios Letsios, Ruth Misener, Francesca Toni

ICML 2018 Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches Simon Olofsson, Marc Deisenroth, Ruth Misener