Apr 27, 2019

This seems to be the correct paper: https://arxiv.org/abs/1904.03241

Apr 26, 2019

The paper:

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving[1]

[1] https://arxiv.org/abs/1904.03241