Słowik, Agnieszka, et al. “Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 10, Apr. 2020, pp. 13919-20, doi:10.1609/aaai.v34i10.7232.