Abstract: Static type inference is an effective way to maintain the safety of programs written in a dynamically typed language. However, foreign functions implemented in another programming language ...
Abstract: Bayesian optimization (BO) with Gaussian processes is a powerful methodology to optimize an expensive blackbox function with as few function evaluations as possible. The expected improvement ...