A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
No abstract available.
Related papers
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling PLDI 2017
- A model-learner pattern for bayesian reasoning POPL 2013
- LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs ICFP 2026
- Efficient synthesis of probabilistic programs PLDI 2015
- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages ESOP 2021
- Probabilistic programming with programmable inference PLDI 2018
- Computational Semantics with Functional Programming, byJan van Eijck andChristina Unger JFP 2014
- Automatic Alignment in Higher-Order Probabilistic Programming Languages ESOP 2023