Automatically improves Monte Carlo estimators in probabilistic programs.
problem Reducing variance in Monte Carlo estimators for probabilistic programs.
method Dynamic mechanism using conjugate priors and affine transformations.
result Automatic Rao-Blackwellization and locally-optimal proposals.