Ruth Misener
13 papers · 2018–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (5) 🐝 Cross-Pollinator (13)
🏃
Academic Marathon
(7)
🧭
Keyword Pioneer
🏆
Keyword Champion
(2)
🗃️
Keyword Collector
(55)
💎
Century Club
(13)
🔥
Unstoppable
(8)
🚀
Conference Pioneer
Conferences
NIPS (5)
ICML (3)
AAAI (2)
JMLR (2)
AISTATS (1)
Top co-authors
Keywords
bayesian optimization
(3)
design of experiment
(2)
mixed-integer optimization
(2)
black-box optimization
(2)
relu neural network
(2)
explanation generation
(1)
hyperparameter optimization
(1)
adversarial robustness
(1)
optimal control
(1)
gaussian process
(1)
value iteration
(1)
mixed integer programming
(1)
sequential optimization
(1)
model discrimination
(1)
bayesian inference
(1)
mathematical optimization
(1)
regret bound
(1)
markov decision process
(1)
black-box function
(1)
asynchronous optimization
(1)
Papers
BoFire: Bayesian Optimization Framework Intended for Real Experiments
JMLR 2025
BARK: A Fully Bayesian Tree Kernel for Black-box Optimization
ICML 2025
Weighted Sum of Gaussian Process Latent Variable Models
AISTATS 2025
Transition Constrained Bayesian Optimization via Markov Decision Processes
NIPS 2024
Verifying message-passing neural networks via topology-based bounds tightening
ICML 2024
Optimizing over trained GNNs via symmetry breaking
NIPS 2023
OMLT: Optimization & Machine Learning Toolkit
JMLR 2022
Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces
NIPS 2022
SnAKe: Bayesian Optimization with Pathwise Exploration
NIPS 2022
Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks
NIPS 2021
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis
AAAI 2020
Argumentation for Explainable Scheduling
AAAI 2019
Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches
ICML 2018