A machine learning dataset for higher-order logic theorem proving [pdf]
cl-informatik.uibk.ac.at