ML Anthology

Loos, Sarah

1 publications

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