Journal
PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)
Volume -, Issue -, Pages 883-897Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3385412.3386006
Keywords
Probabilistic Programming; Exact; Higher-order
Funding
- ERC Starting Grant [680358]
- European Research Council (ERC) [680358] Funding Source: European Research Council (ERC)
Ask authors/readers for more resources
We present lambda PSI, the first probabilistic programming language and system that supports higher-order exact inference for probabilistic programs with first-class functions, nested inference and discrete, continuous and mixed random variables. lambda PSI's solver is based on symbolic reasoning and computes the exact distribution represented by a program. We show that lambda PSI is practically effective-it automatically computes exact distributions for a number of interesting applications, from rational agents to information theory, many of which could so far only be handled approximately.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available