Efficiently Sampling Probabilistic Programs via Program Analysis.

Arun Tejasvi Chaganty Aditya V. Nori Sriram K. Rajamani

Published in: AISTATS (2013)

Keyphrases

probabilistic model
information theoretic
data sets
bayesian networks
parameter space
real world
data mining
high level
semi supervised
generative model
computer programs
sampling algorithm
probabilistic logic