TY  - RPRT
TI  - Bayesian Optimisation with Gaussian Processes for Premise Selection
AU  - Agnieszka Słowik
AU  - Chaitanya Mangla
AU  - Mateja Jamnik
AU  - Sean B. Holden
AU  - Lawrence C. Paulson
PY  - 2019
UR  - https://arxiv.org/abs/1909.09137
ID  - 1909.09137
ER  -