This page shows all presentations of this author published in EasyChair Smart Slide.
Bayesian Optimisation with Gaussian Processes for Premise Selection
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson