Holger H. Hoos
14 papers · 2015–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
π Academic Marathon (10) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Cross-Pollinator (9)
π
Cross-Pollinator
(9)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(30)
π±
Topic Pioneer
π
Century Club
(13)
ποΈ
Keyword Collector
(51)
π
Trend Setter
π₯
Unstoppable
(5)
π
Conference Pioneer
Conferences
IJCAI (6)
AAAI (4)
JMLR (2)
ECCV (1)
PGM (1)
Top co-authors
Keywords
hyperparameter optimization
(3)
neural network verification
(3)
adversarial robustness
(2)
constraint programming
(2)
time series forecasting
(2)
model selection
(2)
neural network
(2)
formal verification
(2)
robustness verification
(2)
neural architecture search
(1)
gaussian process regression
(1)
uncertainty quantification
(1)
sparse approximation
(1)
mixed integer programming
(1)
branch and bound
(1)
algorithm selection
(1)
gaussian process
(1)
conjugate gradient
(1)
temporal analysis
(1)
graph optimization
(1)
Papers
Neural Architecture and Hyperparameter Selection Through Meta-Learning on Time Series
AAAI 2026
KernelMatmul: Scaling Gaussian Processes to Large Time Series
AAAI 2025
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
AAAI 2025
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
AAAI 2024
Critically Assessing the State of the Art in Neural Network Verification
JMLR 2024
AutoCD: Automated Machine Learning for Causal Discovery Algorithms
PGM 2024
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover
IJCAI 2019
Quantifying Algorithmic Improvements over Time
IJCAI 2018
LSQ++: Lower running time and higher recall in multi-codebook quantization
ECCV 2018
Scalable Constraint-based Virtual Data Center Allocation
IJCAI 2017
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
IJCAI 2017
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA
JMLR 2017
Bias in Algorithm Portfolio Performance Evaluation
IJCAI 2016
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition
IJCAI 2015