Chaitanya Mangla

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Answer Set Programming

Automated Theorem Proving

Gaussian Process

Posterior Probability

Top Venues

Publications

Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson
Bayesian Ranking for Strategy Scheduling in Automated Theorem Provers. IJCAR (2022)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI (2020)
Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation of Solver Parameters in CBMC. SMT (2020)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation with Gaussian Processes for Premise Selection. CoRR (2019)
Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving. Vampire (2019)