Mangla, Chaitanya

1 publications

AAAI 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson