EasyChair Smart Slide
Bayesian Optimisation with Gaussian Processes for Premise Selection
Bayesian Optimisation with Gaussian Processes for Premise Selection