Bayesian Optimisation with Formal Guarantees
Application domains of Bayesian optimization include optimizing black-box functions or very complex functions. The functions we are interested in describe complex real-world systems applied in industrial settings. Even though they do have explicit representations, standard optimization techniques fail to provide validated solutions and correctness guarantees for them. In this paper we present a combination of Bayesian optimisation and SMT-based constraint solving to achieve safe and stable solutions with optimality guarantees.
Code (0)
등록된 구현이 없습니다.
Tasks
Bayesian OptimisationBayesian OptimizationSimilar Papers 제목 키워드 기반
Decoupled Conformal Optimisation: Efficient Prediction Sets via Independent Tuning and Calibration
Bayesian conformal optimisation methods often use the same held-out data both to search for efficient prediction sets and to certify coverage or risk. This coupling is natural for high-probability risk-control guarantees…
Bayesian Conformal Prediction as a Decision Risk Problem
We propose Bayesian Conformal Prediction (BCP), a framework that combines Bayesian posterior predictive distributions with PAC-style conformal risk control to produce prediction sets with finite-sample coverage guarantee…
Batch Bayesian optimisation via density-ratio estimation with guarantees
Bayesian optimisation (BO) algorithms have shown remarkable success in applications involving expensive black-box functions. Traditionally BO has been set as a sequential decision-making process which estimates the utili…
Bayesian InferenceBayesian OptimisationDecision MakingDensity Ratio Estimation+1Bayesian Optimisation of Functions on Graphs
The increasing availability of graph-structured data motivates the task of optimising over functions defined on the node set of graphs. Traditional graph search algorithms can be applied in this case, but they may be sam…
Bayesian OptimisationAre Random Decompositions all we need in High Dimensional Bayesian Optimisation?
Learning decompositions of expensive-to-evaluate black-box functions promises to scale Bayesian optimisation (BO) to high-dimensional problems. However, the success of these techniques depends on finding proper decomposi…
AllBayesian Optimisation