Automated Variational Inference in Probabilistic Programming
IBAL: A Probabilistic Rational Programming Language