Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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.

4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an