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

Kshitij Bansal et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics