Słowik A, Mangla C, Jamnik M, Holden SB, Paulson LC. Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI [Internet]. 2020Apr.3 [cited 2024Apr.25];34(10):13919-20. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7232