Continualization of probabilistic programs with correction

DOI10.1007/978-3-030-44914-8_14OpenAlexW3016582770MaRDI QIDQ5041102FDOQ5041102

Authors: Jacob Laurel, Sasa Misailovic 

Publication date: 13 October 2022

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

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

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

zbMATH Keywords

continuityprobabilistic programmingprogram transformationparameter synthesisprogram approximation

Mathematics Subject Classification ID

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

Cites Work

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

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

Uses Software

• KernSmooth
• trueskill
• TrueSkill
• Pyro
• NUTS

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)