From the same institution that gave us Homotopy Type Theory, a special year on Optimisation, Statistics and Theoretical Machine Learning. I'm expecting significant theoretical advances in the field of machine learning.
Getting Started
FAQ
Library
From the same institution that gave us Homotopy Type Theory, a special year on Optimisation, Statistics and Theoretical Machine Learning. I'm expecting significant theoretical advances in the field of machine learning.