Laura Deming, founder of the Longevity Fund, on being homeschooledblog.withprimer.com·113 pts·mksm·206
A machine learning dataset for higher-order logic theorem proving [pdf]cl-informatik.uibk.ac.at·2 pts·mksm·0