PV2 DaPPer: Data-guided Probabilistic Program synthesizersynthesises probabilistic programs from relational datasets

A tool to synthesize full PPL (probabilistic programming language) models from relational datasets.

Application domain/field

Type of tool

Probabilistic program synthesizer

Expected input

Format:

Expected output

PPL program in a subset of the BLOG language.

Internals

It uses simulated annealing (SA) to synthesize PPL (probabilistic programming language) programs from relational datasets.
Probabilistic Synthesis

Links

Repository: https://github.com/schasins/PPL-synthesis

Last commit date

21 January 2017

Related papers

https://doi.org/10.1007/978-3-319-63387-9_14 (CAV '17)

Last publication date

13 July 2017

Related tools

PSketch: given a sketch of a nearly complete PPL program and a dataset, it will synthesize expressions to complete the program.

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.