A machine learning dataset for higher-order logic theorem proving [pdf]cl-informatik.uibk.ac.at2 points·mksm··0 commentsOpen articleSaveView on HN