Login / Signup
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning.
Alexander Bagnall
Gordon Stewart
Anindya Banerjee
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
generative model
probabilistic model
random sampling
data driven
probabilistic logic programs
data sets
provably correct
automatic programming
belief networks
conditional probabilities
bayesian networks
decision trees
maximum entropy
prior knowledge
information systems
probabilistic approaches
genetic algorithm