|
May 7
|
course overview; introduction to PPLs
|
Slides
An Introduction to Probabilistic Programming (§1)
Probabilistic Models of Cognition (§1–6)
|
|
|
May 14
|
semantics of probabilistic languages
|
Notes
Foundations of Probabilistic Programming (§1)
|
|
|
May 21
|
Make-up day for Victoria Day
|
|
|
May 28
|
more semantics
|
Notes
Foundations of Probabilistic Programming (§2)
A Lambda-Calculus Foundation for Universal Probabilistic Programming
|
|
|
June 4
|
exact inference
|
Notes
|
|
|
June 11
|
exact inference
|
Notes
Exact Bayesian Inference on Discrete Models via Probability Generating Functions
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
|
|
|
June 18
|
exact inference
|
Notes
|
project proposal due June 21
|
|
June 25
|
Instructor away
|
|
|
July 2
|
approximate inference
|
Notes
An Introduction to Probabilistic Programming (§4, §5, §6)
|
|
|
July 9
|
approximate inference
|
Notes
|
|
|
July 16
|
automatic differentiation
|
Notes
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
|
|
|
July 23
|
hacking session
|
|
|
July 30
|
paper presentation
|
|
project code & report due August 11
peer reviews due August 16
|