- Conference Paper
We present λ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. λPSI's solver is based on symbolic reasoning and computes the exact distribution represented by a program. We show that λ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. © 2020 ACM. Show more
Book titleProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Pages / Article No.
PublisherAssociation for Computing Machinery
SubjectExact; Higher-order; Probabilistic programming
Organisational unit03948 - Vechev, Martin / Vechev, Martin
NotesDue to the Corona virus (COVID-19) the conference was conducted virtually.
MoreShow all metadata