Automatic alignment in higher-order probabilistic programming languages

DOI10.1007/978-3-031-30044-8_20MaRDI QIDQ6535257zbMATH OpenFDO

Authors Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30044-8_20

zbMATH Keywords

operational semanticsprobabilistic programmingstatic analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• A provably correct sampler for probabilistic programs
• Probabilistic programming language and its incremental evaluation
• AQUA: automated quantized inference for probabilistic programs
• The magic of logical inference in probabilistic programming

Cites work

• 10.1162/jmlr.2003.3.4-5.993
• A lambda-calculus foundation for universal probabilistic programming
• Control-flow analysis of functional programs
• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• Elements of sequential Monte Carlo
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Pattern recognition and machine learning.
• Probabilistic programming language and its incremental evaluation
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
• Semantics of probabilistic programs
• Types and programing languages

This page was built for publication: Automatic alignment in higher-order probabilistic programming languages

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