We present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic. Higher-order interactive theorem provers enable the formalization of arbitrary mathematical theories and thereby present an interesting, open-e... (more…)

Alink is the Machine Learning algorithm platform based on Flink, developed by the PAI team of Alibaba computing platform. - alibaba/Alink... (more…)

Sadly, you do not currently appear to have permission to access https://arxiv.org/abs/1611.09347... (more…)

2020 has been an incredibly challenging year, and on a personal note, has marked an important milestone — graduating with my PhD in computer science from Cornell University. This has been a six year journey, where my personal growth as a machine learning ... (more…)

The list of the best machine learning & deep learning books for 2020. (more…)