A machine learning dataset for higher-order logic theorem proving [pdf] (cl-informatik.uibk.ac.at) 2 points by mksm 9y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 12.7 ms ] threadNo comments yet.