Paulson, Lawrence C.

2 publications

ICLR 2021 IsarStep: A Benchmark for High-Level Mathematical Reasoning Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson

AAAI 2020 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson