Machine learning for first-order theorem proving Learning to select a good heuristic

@inproceedings{Bridge2014MachineLF,
  title={Machine learning for first-order theorem proving Learning to select a good heuristic},
  author={James P. Bridge and Sean B. Holden and Lawrence C. Paulson},
  year={2014}
}
We applied two state-of-the-art machine learning techniqu es to the problem of selecting a good heuristic in a first-order theorem prover. O u aim was to demonstrate that sufficient information is available from simple feature mea surements of a conjecture and axioms to determine a good choice of heuristic, and that the c hoice process can be automatically learned. Selecting from a set of 5 heuristics, the learned results are better than any single heuristic. The same results are also… CONTINUE READING
7 Citations
49 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 49 references

Lichman, M.: UCI machine learning repository

  • K. Bache
  • 2013
Highly Influential
4 Excerpts

Support Vector Mach ines and Other Kernel-Based Learning Methods

  • J. Shawe-Taylor, N. Cristianini
  • Cambridge University Press
  • 2000
Highly Influential
4 Excerpts

Machine Learning

  • T. Mitchell
  • McGraw Hill
  • 1997
Highly Influential
4 Excerpts

Features for SAT

  • L. Xu, F. Hutter, H. Hoos, K. Leyton-Brown
  • 2012
1 Excerpt

Similar Papers

Loading similar papers…