HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). Bansal, K., Loos, S., Rabe, M. N., Szegedy, C., & Wilcox, S. arXiv:1904.03241, 2019.
bibtex   
@misc{Bansal+al:2019,
  author    = {Kshitij Bansal and
               Sarah Loos and
               Markus N. Rabe and
               Christian Szegedy and
               Stewart Wilcox},
  title     = {{HOList: An} Environment for Machine Learning of Higher-Order Theorem
               Proving (extended version)},
  howpublished    = {arXiv:1904.03241},
  year      = {2019},
}

Downloads: 0