A machine learning dataset for higher-order logic theorem proving [pdf](cl-informatik.uibk.ac.at)2 points by mksm 9 years ago | 0 commentsNo comments yet