The foundations of Bayesian optimization trace back to work on efficient global optimization (EGO) (Jones et al. 1998), which introduced expected improvement as an acquisition function for response surface optimization. The theoretical framework using Gaussian processes draws heavily on the standard textbook treatment in (Rasmussen and Williams 2006).
Modern tutorials (Brochu et al. 2010; Frazier 2018) provide accessible introductions to the field, while (Shahriari et al. 2016) offers an extensive review covering methodological advances and applications. The GP-UCB algorithm (Srinivas et al. 2012) established regret bounds connecting Bayesian optimization to the bandit literature.
Practical Bayesian optimization for machine learning hyperparameter tuning was shown by (Snoek et al. 2012), showing that careful GP prior design produced test errors below the best hand-tuned results reported at the time. High-dimensional extensions include random embeddings (Wang et al. 2016), local trust regions (Eriksson et al. 2019), and sparse axis-aligned subspaces (Eriksson and Jankowiak 2021).
Information-theoretic acquisition functions (Hernández-Lobato et al. 2014) provide principled approaches to exploration, while portfolio methods (Brochu et al. 2011) combine multiple acquisition strategies. Multi-fidelity methods (Kandasamy et al. 2017; Li et al. 2020; Swersky et al. 2014) use cheap approximations to accelerate optimization. Transfer learning (Feurer et al. 2022; Swersky et al. 2013) enables knowledge transfer across related optimization tasks.
Scalable Gaussian process inference (Snelson and Ghahramani 2006; Titsias 2009; Matthews et al. 2016) underpins practical BO implementations, with GPyTorch (Gardner et al. 2018) providing efficient GPU-accelerated computation. Applications span neural architecture search (Kandasamy et al. 2018; Falkner et al. 2018), biological sequence design (Stanton et al. 2022), and safe exploration (Sui et al. 2015).
Read as a list of names that is a heap. It becomes a chapter once one question is put to every row: where does the GP posterior stop paying for itself, and what does this method give up to buy that place back? EGO and GP-UCB pay nothing and work only where the posterior is already cheap and accurate, in low dimension with few observations. Sparse and variational GPs give up exactness of the posterior to survive . REMBO, TuRBO and SAASBO give up the assumption that the posterior is a single global object, respectively by projecting, by localising, and by zeroing most coordinates. Multi-fidelity and freeze-thaw methods give up the requirement that every evaluation be the true objective. Transfer methods give up the requirement that every observation come from the current task. Safe and constrained BO give up free access to the design space. The table below records that trade for each row: Regime is where the posterior still pays, Headline result is what the trade bought.
The following leaderboard summarises the methods this chapter dissects, organised by the regime each one targets. Read the table top-down as exploitation/exploration first, then scalability, then dimensionality, then setting-specific extensions.
| Method | Surrogate | Acq. | Regime | Headline result |
|---|---|---|---|---|
| EGO (Jones et al. 1998) | Kriging | EI | low-D smooth deterministic | EI acquisition plus the 1 percent stopping rule |
| GP-UCB (Srinivas et al. 2012) | exact GP | UCB | bandit-style with regret bound | sublinear |
| PES (Hernández-Lobato et al. 2014) | exact GP + EP | PES | low-D, very expensive evals | lower regret than EI on Branin and Hartmann-6 |
| GP-Hedge (Brochu et al. 2011) | exact GP | portfolio | unknown landscape, kernel uncertainty | beats best-individual on 28/32 synthetic benchmarks |
| Spearmint (Snoek et al. 2012) | MCMC GP | EI per sec | ML hyperparameter tuning | 14.98 percent CIFAR-10 vs 18 percent hand-tuned |
| q-EI-SGA (Wang et al. 2020) | exact GP | q-EI | parallel batch, q up to 50 | 7x speedup at on ATO simulator |
| SPGP / FITC (Snelson and Ghahramani 2006) | sparse GP | any | mid-data | inducing points reach 95 percent of full GP |
| VFE (Titsias 2009) | variational GP | any | mid-data, hyperparameter-safe | bound monotone in inducing set |
| BBMM (GPyTorch) (Gardner et al. 2018) | exact GP via CG | any | large-data | exact GP on 1M points in 6 min on V100 |
| REMBO (Wang et al. 2016) | low-D GP | EI | low effective dim, | 3-5x sample efficiency on 69D MIP-tuning |
| TuRBO (Eriksson et al. 2019) | local GPs | TS | high-D rough, up to | wins on 200D Ackley, beats CMA-ES on 60D Rover |
| SAASBO (Eriksson and Jankowiak 2021) | NUTS GP horseshoe | EI | high-D sparse, expensive evals | best on 124D Mopta08 and 388D SVM at equal budget |
| Add-GP (Duvenaud et al. 2011) | additive GP | EI/UCB | low-order interactions | dominates SE on 9 of 11 UCI regression sets |
| BOCA (Kandasamy et al. 2017) | MF-GP | cost-UCB | continuous fidelity | lower regret per unit cost, NN tuning and supernova LL |
| DNN-MFBO (Li et al. 2020) | cascaded BNN | MES | discrete fidelity, deep models | 60 vs 200 samples on 8D 3-fidelity FEM |
| Freeze-thaw (Swersky et al. 2014) | curve-kernel GP | per-action ES | training-curve fidelity | 3x wall-clock vs Spearmint on PMF/MovieLens-10M |
| Multi-task GP (Swersky et al. 2013) | ICM joint GP | cost-ES | warm-start from related tasks | 10 vs 30 target evals on small-MNIST to MNIST |
| RGPE (Feurer et al. 2022) | source-GP ensemble | EI | hyperparameter-free transfer | 3-5x wall-clock saved across 2086 OpenML tasks |
| PESC (Hernández-Lobato et al. 2016) | constraint GPs | PESC | active black-box constraints | 5x regret gap vs EIC on Hartmann6-C1 |
| SafeOpt (Sui et al. 2015) | exact GP + Lipschitz | max-var | safety-critical online | 99.4 percent safe rate on MovieLens-3.5 |
| NASBOT (Kandasamy et al. 2018) | OTMANN-kernel GP | TS | neural architecture search | 11.07 percent CIFAR-10 in 200 evals |
| BOHB (Falkner et al. 2018) | TPE per budget | density-ratio | Hyperband-augmented HPO | 2x BO and 1.5x Hyperband on CartPole PPO |
| LaMBO (Stanton et al. 2022) | latent-space MTGP | NEHVI | discrete biological sequences | 40 percent over GA on GFP at 500 rounds |
| Policy-search BO (Letham and Bakshy 2019) | rank-1 ICM | TS | online + offline policy search | 5+50 vs 25+ online evals at Facebook |
| FBO (Ha et al. 2019) | exact GP | EI + box test | unknown search bounds | 40 vs 200+ evals on log-scale SVM hyperparameters |