New top story on Hacker News: HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019)

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019)
9 by mathematically | 2 comments on Hacker News.