Publication | Closed Access
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
68
Citations
0
References
2019
Year
Computational LogicEngineeringMachine LearningAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceSymbolic Machine LearningHigher-order LogicInductive Logic Programming
No additional data available for this publication yet. Check back later!