Stan: A Probabilistic Programming Language
MCMC Using Hamiltonian Dynamics