Login / Signup
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning.
Alexander Bagnall
Gordon Stewart
Anindya 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