Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson. Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. In Laura Kovács, Andrei Voronkov, editors, Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops. Volume 71 of EPiC Series in Computing, pages 45-51, EasyChair, 2019. [doi]
@inproceedings{SlowikMJHP19,
title = {Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving},
author = {Agnieszka Slowik and Chaitanya Mangla and Mateja Jamnik and Sean B. Holden and Lawrence C. Paulson},
year = {2019},
url = {https://easychair.org/publications/paper/K7Zd},
researchr = {https://researchr.org/publication/SlowikMJHP19},
cites = {0},
citedby = {0},
pages = {45-51},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovács and Andrei Voronkov},
volume = {71},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}