Continualization of Probabilistic Programs With Correction
From MaRDI portal
Publication:5041102
DOI10.1007/978-3-030-44914-8_14OpenAlexW3016582770MaRDI QIDQ5041102
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
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
- Semantics of probabilistic programs
- Continuity corrections for discrete distributions under the Edgeworth expansion
- Bayesian networks for discrete multivariate data: An algebraic approach to inference
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Data-driven synthesis of full probabilistic programs
- Fine-grained semantics for probabilistic programs
- The computational complexity of probabilistic inference using Bayesian belief networks
- A Wasserstein-Type Distance in the Space of Gaussian Mixture Models
- The Variational Gaussian Approximation Revisited
- Estimating the Binomial Parameter n
- A General Chain Binomial Model for Infectious Diseases
- On the Estimation of Production Frontiers: Maximum Likelihood Estimation of the Parameters of a Discontinuous Density Function
- Discontinuous Hamiltonian Monte Carlo for discrete parameters and discontinuous likelihoods
- Semantics of Probabilistic Programming: A Gentle Introduction
- Continuity analysis of programs
- Deriving Probability Density Functions from Probabilistic Functional Programs
- Bridging boolean and quantitative synthesis using smoothed proof search
- Parameterization and Bayesian Modeling
- The normal approximation to the Poisson distribution and a proof of a conjecture of Ramanujan
- On the Normal Approximation to the Binomial Distribution
This page was built for publication: Continualization of Probabilistic Programs With Correction
