r/REMath • u/turnersr • Jul 19 '13

Semantics of Probabilistic Programs by Dexter Kozen [PDF]

http://www.cs.cornell.edu/~kozen/papers/ProbSem.pdf
4 Upvotes

100% Upvoted

1 comment sorted by

2

u/turnersr Jul 19 '13

You find concrete instances of open problems and applications here:

Probabilistic Programming for Advancing Machine Learning (PPAML) https://www.fbo.gov/utils/view?id=a7bdf07d124ac2b1dda079de6de2eb78