- 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. Mehr anzeigen
BuchtitelProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Seiten / Artikelnummer
VerlagAssociation for Computing Machinery
ThemaExact; Higher-order; Probabilistic programming
Organisationseinheit03948 - Vechev, Martin / Vechev, Martin
AnmerkungenDue to the Corona virus (COVID-19) the conference was conducted virtually.