Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Lawrence C. Paulson

Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs


Jun 13, 2020
Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson


  Access Paper or Ask Questions

Bayesian Optimisation with Gaussian Processes for Premise Selection


Sep 18, 2019
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson


  Access Paper or Ask Questions

Using Machine Learning to Improve Cylindrical Algebraic Decomposition


Apr 26, 2018
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

* arXiv admin note: text overlap with arXiv:1608.04219, arXiv:1404.6369 

  Access Paper or Ask Questions

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases


Aug 15, 2016
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson

* Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016 

  Access Paper or Ask Questions

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition


Apr 25, 2014
Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson, James Bridge

* Intelligent Computer Mathematics, pp. 92-107. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014 
* 16 pages 

  Access Paper or Ask Questions

Quantified Multimodal Logics in Simple Type Theory


May 14, 2009
Christoph Benzmueller, Lawrence C. Paulson

* ii + 22 pages 

  Access Paper or Ask Questions