C cl-informatik.uibk.ac.at A machine learning dataset for higher-order logic theorem proving [pdf] 2 points mksm 10 years ago 0 comments
