36 ms·A machine learning dataset for higher-order logic theorem proving [pdf]2 points by mksm 10y ago