Challenges in unsupervised learning: statistical-computational trade-offs - Lecture 1
By Alexandra Carpentier
Challenges in unsupervised learning: statistical-computational trade-offs - Lecture 2
By Alexandra Carpentier
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Transforming numbers – Why is arithmetic geometry geometry?
By Colin McLarty , José Ferreiros , Kim Minhyong
Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies