Chaitanya Mangla
Orcid: 0000-0001-7600-1681
According to our database1,
Chaitanya Mangla
authored at least 5 papers
between 2019 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2020
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).
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019