EasyChair Smart SlideDocs/Log in
Author: Chaitanya Mangla

This page shows all presentations of this author published in EasyChair Smart Slide.

Bayesian Optimisation with Gaussian Processes for Premise Selection

Bayesian Optimisation with Gaussian Processes for Premise Selection

Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair