@article{bayesianoptimisationwithgaussianprocesse,
  title = {Bayesian Optimisation with Gaussian Processes for Premise Selection},
  author = {Agnieszka Słowik and Chaitanya Mangla and Mateja Jamnik and Sean B. Holden and Lawrence C. Paulson},
  year = {2019},
  eprint = {1909.09137},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.09137v1},
}