University of Birmingham > Talks@bham > Theoretical computer science seminar > ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

## ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic ProgramsAdd to your list(s) Download to your calendar using vCal - Mathieu Huot (University of Oxford)
- Friday 09 June 2023, 14:00-14:50
- LG23, Computer Science // Zoom.
If you have a question about this talk, please contact George Kaye.
- Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
- Meeting ID: 818 7333 5084
- Passcode: 217
Optimizing the expected values of probabilistic processes is a central problem in computer science and its applications, arising in fields ranging from artificial intelligence to operations research to statistical computing. Unfortunately, automatic differentiation techniques developed for deterministic programs do not in general compute the correct gradients needed for widely used solutions relying on gradient-based optimization. I will talk about ADEV , an extension to forward-mode automatic differentiation that correctly differentiates the expectations of probabilistic processes represented as programs that make random choices. Our algorithm is a source-to-source program transformation on an expressive, higher-order language for probabilistic computation, with both discrete and continuous probability distributions. The result of our transformation is a new probabilistic program, whose expected return value is the derivative of the original program’s expectation. This output program can be run to generate unbiased estimates of the desired gradient. As it modularly extends forward-mode AD, our algorithm lends itself to a concise implementation strategy, which we exploit to develop a prototype in just a few dozen lines of Haskell (https://github.com/probcomp/adev). This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- LG23, Computer Science // Zoom
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsApplied Mathematics Seminar Series Nuclear physics seminars Analysis Reading Seminar## Other talksThe tragic destiny of Mileva Marić Einstein Counting cycles in planar graphs Waveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy Ultrafast Spectroscopy and Microscopy as probes of Energy Materials An introduction to τ-exceptional sequences TBA |