Cezary Kaliszyk, François Chollet, Christian Szegedy. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings. OpenReview.net, 2017. [doi]
@inproceedings{KaliszykCS17,
title = {HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving},
author = {Cezary Kaliszyk and François Chollet and Christian Szegedy},
year = {2017},
url = {https://openreview.net/forum?id=ryuxYmvel},
researchr = {https://researchr.org/publication/KaliszykCS17},
cites = {0},
citedby = {0},
booktitle = {5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Conference Track Proceedings},
publisher = {OpenReview.net},
}