Author:Lawrence C. Paulson

Publications
How to write research papers, or don't make your readers scream! Lawrence C. Paulson EasyChair Preprint 446
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence Paulson In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers Lawrence C. Paulson and Jasmin Christian Blanchette In:IWIL 2010. The 8th International Workshop on the Implementation of Logics