Mathematics
and Interactions
-
Videos linked to Programming LanguagesMore +
![Algorithmic foundations for exact discrete probabilistic reasoning]()
01:24:49published on May 26, 2026Algorithmic foundations for exact discrete probabilistic reasoning
By Steven Holtzen
![Ensuring correctness of probabilistic inference by static analysis]()
01:26:21published on May 26, 2026Ensuring correctness of probabilistic inference by static analysis
By Xavier Rival
![Applicative bisimulation for higher-order probabilistic languages]()
01:27:45published on May 26, 2026Applicative bisimulation for higher-order probabilistic languages
By Raphaëlle Crubillé
![Expressive probabilistic programming : discrete-time stochastic processes]()
01:14:40published on May 26, 2026Expressive probabilistic programming : discrete-time stochastic processes
By Sam Staton
![An introduction to statistical modelling semantics with higher-order measure theory]()
01:27:38published on February 21, 2022An introduction to statistical modelling semantics with higher-order measure theory
By Ohad Kammar
![Mathematical foundations of automatic differentiation - a tutorial]()
01:01:47published on February 21, 2022Mathematical foundations of automatic differentiation - a tutorial
By Matthijs Vákár
