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]
Abstract is missing.