Login / Signup

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning.

Alexander BagnallGordon StewartAnindya Banerjee
Published in: CoRR (2022)
Keyphrases
  • probabilistic model
  • generative model
  • data driven
  • bayesian networks
  • uncertain data
  • bayesian inference
  • information theoretic
  • random sampling
  • computer programs
  • probabilistic logic
  • social networks
  • java programs