We gratefully acknowledge support from
the Simons Foundation and member institutions.

Agnieszka Słowik, Mateja Jamnik and Sean Holden are qualified to endorse.

Bayesian Optimisation with Gaussian Processes for Premise Selection

Agnieszka Słowik: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.LG, stat.ML. (why?)
Mateja Jamnik: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CV, cs.HC, cs.LG, cs.LO, cs.MA, cs.NE, cs.SE, cs.SI, q-bio.GN, q-bio.MN, q-bio.QM, stat.ML. (why?)
Sean Holden: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.LG, cs.MA, stat.ML. (why?)

Chaitanya Mangla and Lawrence C. Paulson are not registered as owners of this paper. (why?)