Bayesian Optimisation with Gaussian Processes for Premise Selection

Open in new window