Probabilistic Programming
Probabilistic programming has caught on as a way of modeling uncertainty by writing intuitive programs. We also include here precursor ways of managing uncertainty.
2020
Nov
10
2020
Nov
24
2020
Sep
22
2020
Sep
08
Probabilistic Programming
Formal Verification of Higher-Order Probabilistic Programs.” Principles of Programming Languages (POPL). PDFAbstract
. 2019. “
Predicate Exchange: Inference with Declarative Knowledge.” International Conference on Machine Learning (ICML). PDFAbstract
. 2019. “
Exact Bayesian Inference by Symbolic Disintegration.” Principles of Programming Languages (POPL). PDFAbstract
. 1/2017. “
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.” Logic in Computer Science (LICS). PDFAbstract
. 2016. “