HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving

Sarah Loos
Sarah Loos
Stewart James Wilcox
Stewart James Wilcox

international conference on machine learning, 2019.

Cited by: 12|Bibtex|Views147
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments