Continualization of probabilistic programs with correction

DOI10.1007/978-3-030-44914-8_14MaRDI QIDQ5041102zbMATH OpenOpenAlexFDO

Authors Jacob Laurel, Sasa Misailovic

Publication date 13 October 2022

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-44914-8_14

zbMATH Keywords

continuityprobabilistic programmingprogram transformationparameter synthesisprogram approximation

Mathematics Subject Classification ID

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

Recommendations

• AQUA: automated quantized inference for probabilistic programs
• Extending ProbLog with Continuous Distributions
• The magic of logical inference in probabilistic programming
• Inference in probabilistic logic programs with continuous random variables
• A provably correct sampler for probabilistic programs

Cites work

• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 847282 (Why is no real title available?)
• scientific article; zbMATH DE number 6416756 (Why is no real title available?)
• A General Chain Binomial Model for Infectious Diseases
• A Wasserstein-Type Distance in the Space of Gaussian Mixture Models
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Bayesian networks for discrete multivariate data: An algebraic approach to inference
• Bridging Boolean and quantitative synthesis using smoothed proof search
• Continuity analysis of programs
• Continuity corrections for discrete distributions under the Edgeworth expansion
• Data-driven synthesis of full probabilistic programs
• Deriving probability density functions from probabilistic functional programs
• Discontinuous Hamiltonian Monte Carlo for discrete parameters and discontinuous likelihoods
• Estimating the Binomial Parameter n
• Expectation consistent approximate inference
• Fine-grained semantics for probabilistic programs
• MCMC using Hamiltonian dynamics
• On the Estimation of Production Frontiers: Maximum Likelihood Estimation of the Parameters of a Discontinuous Density Function
• On the Normal Approximation to the Binomial Distribution
• Parameterization and Bayesian Modeling
• Semantics of Probabilistic Programming: A Gentle Introduction
• Semantics of probabilistic programs
• The Variational Gaussian Approximation Revisited
• The computational complexity of probabilistic inference using Bayesian belief networks
• The no-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo
• The normal approximation to the Poisson distribution and a proof of a conjecture of Ramanujan

Cited in

(3)

• One-trial correction of legacy AI systems and stochastic separation theorems
• AQUA: automated quantized inference for probabilistic programs
• Fast and correct gradient-based optimisation for probabilistic programming via smoothing

Describes a project that uses

Uses Software

• NUTS
• Pyro
• TrueSkill
• trueskill
• KernSmooth

This page was built for publication: Continualization of probabilistic programs with correction

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