Data-Driven Synthesis of Full Probabilistic Programs.

Sarah E. Chasins Phitchaya Mangpo Phothilimthana

Published in: CAV (1) (2017)

Keyphrases

data driven
functional programs
generative model
information systems
program synthesis
real time
genetic algorithm
bayesian networks
multiscale
posterior probability
programming environment