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

Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Browse the full ICML paper archive.