![]() Center for Machine Learning and Intelligent Systems |
About
Citation Policy
Donate a Data Set
Contact
View ALL Data Sets |
Source: James P Bridge, Sean B Holden and Lawrence C Paulson
Data Set Information: See the file bridge-holden-paulson-details.txt in the submitted tarball. Attribute Information: The attributes are a mixture of static and dynamic features derived from theorems to be proved. See the paper for full details. Relevant Papers: Machine learning for first-order theorem proving: learning to select a good heuristic
Citation Request: Please cite the paper if you use this data set. |
Supported By: |
![]() |
In Collaboration With: |
![]() |