A provably correct sampler for probabilistic programs

DOI10.4230/LIPICS.FSTTCS.2015.475MaRDI QIDQ5275390zbMATH OpenFDO

Authors Chung-Kil Hur, Aditya V. Nori, Selva Samuel, Sriram K. Rajamani

Publication date 13 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2015.475

zbMATH Keywords

Markov chain Monte Carlo samplingprobabilistic inferenceprobabilistic programmingprogram correctness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• Program verification as probabilistic inference
• A lambda-calculus foundation for universal probabilistic programming
• Running probabilistic programs backwards
• Probabilistic programming language and its incremental evaluation

Cited in

(12)

• AQUA: automated quantized inference for probabilistic programs
• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
• Bayesian strategies: probabilistic programs as generalised graphical models
• Probabilistic programming language and its incremental evaluation
• Program verification as probabilistic inference
• scientific article; zbMATH DE number 3932374 (Why is no real title available?)
• Continualization of probabilistic programs with correction
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
• Fast and correct gradient-based optimisation for probabilistic programming via smoothing
• Automatic alignment in higher-order probabilistic programming languages
• Generative Datalog with continuous distributions

This page was built for publication: A provably correct sampler for probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275390)