01:26:21
published on May 26, 2026
Ensuring correctness of probabilistic inference by static analysis
By Xavier Rival
01:27:45
published on May 26, 2026
Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
01:14:40
published on May 26, 2026
Expressive probabilistic programming : discrete-time stochastic processes
By Sam Staton