Chaitanya Mangla

According to our database, Chaitanya Mangla authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers.

Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

Bayesian Optimisation of Solver Parameters in CBMC.

Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

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

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

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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 Heuristic Configuration in Automated Theorem Proving.

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

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019