Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving

Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden & Lawrence Paulson
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.