A. Słowik, C. Mangla, M. Jamnik, S. B. Holden, and L. C. Paulson, “Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)”, AAAI, vol. 34, no. 10, pp. 13919-13920, Apr. 2020.