How to briefly describe the Stan program

Maybe someone just asked, but I can’t find it here in discourse. Is there a very brief description of Stan to be included in a Congress Proceeding? It should be very short and effective because the length of the proceeding is fixed.

Thanks in advance

Dunno if there’s an official blurb, but here’s my attempt:

“Stan is a probabilistic programming language that facilitates expression of generative models and full Bayesian inference on parameters therein.”

You could possibly add at the end: “using state-of-the-art Hamiltonian sampling procedures with clear failure diagnostics.”


Thank you!