Also check out Michael Betancourt’s (one of the developers of Stan) introduction: https://arxiv.org/abs/1701.02434