Holger H. Hoos
14 papers · 2015–2026 · 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 ↓+4 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (31) 🌍 Conference Polyglot · Silver 🐣 Hot Topic Early Bird 🏃 Academic Marathon · Half
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
💎
Century Club · Bronze
🗃️
Keyword Collector
(53)
Top co-authors
Research topics
Machine Learning
(9)
Artificial Intelligence
(6)
Optimization & Theory · Machine Learning
(6)
Core AI
(5)
Learning Types
(4)
Deep Learning
(3)
Mathematics & Optimization
(3)
Optimization
(3)
Application Areas
(2)
Bayesian & Probabilistic · Machine Learning
(2)
Learning Paradigms
(2)
Optimization & Theory · Deep Learning
(2)
Data Science & Analytics
(1)
Architectures
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Keywords
neural network verification
(3)
hyperparameter optimization
(3)
model selection
(2)
formal verification
(2)
adversarial robustness
(2)
time series forecasting
(2)
automated machine learning
(2)
constraint programming
(2)
neural network
(2)
robustness verification
(2)
bayesian optimization
(2)
sparse approximation
(1)
gaussian process regression
(1)
branch and bound
(1)
uncertainty quantification
(1)
gaussian process
(1)
conjugate gradient
(1)
time series classification
(1)
causal discovery
(1)
temporal analysis
(1)
Papers
Neural Architecture and Hyperparameter Selection Through Meta-Learning on Time Series
AAAI 2026
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
AAAI 2025
KernelMatmul: Scaling Gaussian Processes to Large Time Series
AAAI 2025
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
AAAI 2024
AutoCD: Automated Machine Learning for Causal Discovery Algorithms
PGM 2024
Critically Assessing the State of the Art in Neural Network Verification
JMLR 2024
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover
IJCAI 2019
LSQ++: Lower running time and higher recall in multi-codebook quantization
ECCV 2018
Quantifying Algorithmic Improvements over Time
IJCAI 2018
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
IJCAI 2017
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA
JMLR 2017
Scalable Constraint-based Virtual Data Center Allocation
IJCAI 2017
Bias in Algorithm Portfolio Performance Evaluation
IJCAI 2016
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition
IJCAI 2015