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?)