Machine Learning for First-Order Theorem Proving

@article{Bridge2014MachineLF,
  title={Machine Learning for First-Order Theorem Proving},
  author={James P. Bridge and Sean B. Holden and Lawrence C. Paulson},
  journal={Journal of Automated Reasoning},
  year={2014},
  volume={53},
  pages={141-172}
}
We applied two state-of-the-art machine learning techniques to the problem of selecting a good heuristic in a first-order theorem prover. Our aim was to demonstrate that sufficient information is available from simple feature measurements of a conjecture and axioms to determine a good choice of heuristic, and that the choice process can be automatically… CONTINUE READING

20 Figures & Tables

Topics

Statistics

051015201620172018
Citations per Year

Citation Velocity: 7

Averaging 7 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.