@misc{indiciaee7e6ff1b8666,
  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},
  url = {https://arxiv.org/abs/1909.09137},
  note = {Source identifier: 1909.09137}
}