Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).

Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson

Browse the full AAAI paper archive.