Słowik, Agnieszka, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, and Lawrence C. Paulson. “Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 10 (April 3, 2020): 13919-13920. Accessed June 19, 2021. https://ojs.aaai.org/index.php/AAAI/article/view/7232.