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