Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
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