I really enjoyed your GP summer school talk; the is one of my favorites . You motivate probabilistic programming for GPs, explaining the how but not really the why. That is, in what scenarios would a prob prog GP be advantageous over a standard implementation – why use Edward over e.g. GPFlow? One advantage I can see is the decoupling of modeling and inference in Edward is a little nicer to work with. Are there differences in computational efficiency? Are there GP models Edward enables that wouldn’t be possible in a deterministic paradigm? Maybe uncertainty propagation easier? Thanks in advance!