Ruth Misener
13 papers · 2018–2025 · 5 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 ↓+5 more ↓ Show less ↑
π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (31) π Academic Marathon Β· Sprint π Keyword Champion (3)
ποΈ
Keyword Collector
(68)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Renaissance Researcher
(6)
π
Century Club Β· Bronze
Top co-authors
Research topics
Machine Learning
(12)
Optimization & Theory
(10)
Artificial Intelligence
(6)
Core AI
(6)
Mathematics & Optimization
(5)
Bayesian & Probabilistic
(5)
Optimization
(5)
Deep Learning
(3)
Architectures
(2)
Core Methods
(2)
Learning Types
(2)
Computer Science
(1)
Data Science & Analytics
(1)
Healthcare & Medicine
(1)
Reinforcement Learning
(1)
Keywords
bayesian optimization
(5)
gaussian process
(3)
black-box optimization
(3)
mixed-integer optimization
(3)
mixed integer programming
(2)
relu neural network
(2)
design of experiment
(2)
acquisition function
(2)
bayesian inference
(1)
formal verification
(1)
signal separation
(1)
markov chain monte carlo
(1)
markov decision process
(1)
adversarial robustness
(1)
graph structure
(1)
model discrimination
(1)
neural architecture search
(1)
sequential optimization
(1)
explanation generation
(1)
value iteration
(1)
Papers
BARK: A Fully Bayesian Tree Kernel for Black-box Optimization
ICML 2025
BoFire: Bayesian Optimization Framework Intended for Real Experiments
JMLR 2025
Weighted Sum of Gaussian Process Latent Variable Models
AISTATS 2025
Transition Constrained Bayesian Optimization via Markov Decision Processes
NeurIPS 2024
Verifying message-passing neural networks via topology-based bounds tightening
ICML 2024
Optimizing over trained GNNs via symmetry breaking
NeurIPS 2023
OMLT: Optimization & Machine Learning Toolkit
JMLR 2022
SnAKe: Bayesian Optimization with Pathwise Exploration
NeurIPS 2022
Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces
NeurIPS 2022
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
Argumentation for Explainable Scheduling
AAAI 2019
Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches
ICML 2018