Słowik, A., C. Mangla, M. Jamnik, S. B. Holden, and L. C. Paulson. “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.