4 citations · 4 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Bayesian Optimisation with Formal Guarantees
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
Application domains of Bayesian optimization include optimizing black-box functions or very complex functions. The functions we are interested in describe complex real-world system…
cs.LO2021
The ksmt calculus is a -complete decision procedure for non-linear constraints
Franz Brauße, Konstantin Korovin, Margarita V. Korovina +1
ksmt is a CDCL-style calculus for solving non-linear constraints over real numbers involving polynomials and transcendental functions. In this paper we investigate properties of th…