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.
@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,
}