Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. - Agnieszka Slowik; Chaitanya Mangla; Mateja Jamnik; Sean B. Holden; Lawrence C. Paulson (Vampire, 2019)

Bayesian Optimisation with Gaussian Processes for Premise Selection. - Agnieszka Slowik; Chaitanya Mangla; Mateja Jamnik; Sean B. Holden; Lawrence C. Paulson (CoRR, 2019)

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

Bayesian Optimisation of Solver Parameters in CBMC. - Chaitanya Mangla; Sean B. Holden; Lawrence C. Paulson (SMT, 2020)

Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. - Chaitanya Mangla; Sean B. Holden; Lawrence C. Paulson (IJCAR, 2022)