Słowik, A.; Mangla, C.; Jamnik, M.; Holden, S. B.; Paulson, L. C. Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI 2020, 34, 13919-13920.