Stan: A Probabilistic Programming Language
The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo