I met some of their team at an academic seminar and what they're doing is pretty ambitious; and goes beyond probabilistic programming. It sounds more like they're building traditional modelling tools on top of a PPL [0], where the PPL helps with the model calibration.

[0] https://github.com/deselby-research/