HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
ICML, 2019.

ICML 2019
DBLP
Scholar
?EE?
Full names Links ISxN
@inproceedings{ICML-2019-BansalLRSW,
	author        = "Kshitij Bansal and Sarah M. Loos and Markus N. Rabe and Christian Szegedy and Stewart Wilcox",
	booktitle     = "{Proceedings of the 36th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v97/bansal19a.html",
	pages         = "454--463",
	publisher     = "{PMLR}",
	title         = "{HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving}",
	year          = 2019,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.