Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions. - James P. Bridge; Lawrence C. Paulson (J. Autom. Reason., 2013)

First-order theorem proving. - James P. Bridge; Sean B. Holden; Lawrence C. Paulson (UCI Machine Learning Repository, 2013)

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson; James P. Bridge (CICM, 2014)

Verifying Hybrid Systems Involving Transcendental Functions. - Paul B. Jackson; Andrew Sogokon; James P. Bridge; Lawrence C. Paulson (NASA Formal Methods, 2014)

Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic. - James P. Bridge; Sean B. Holden; Lawrence C. Paulson (J. Autom. Reason., 2014)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James P. Bridge; James H. Davenport; Lawrence C. Paulson (Math. Comput. Sci., 2019)