Hacker News new | ask | show | jobs
A machine learning dataset for higher-order logic theorem proving [pdf] (cl-informatik.uibk.ac.at)
2 points by mksm 3514 days ago