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