01:27:45
published on May 26, 2026
Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
01:24:49
published on May 26, 2026
Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen
01:26:21
published on May 26, 2026
Ensuring correctness of probabilistic inference by static analysis
By Xavier Rival