Multi-Model Probabilistic Programming. (arXiv:2208.06329v1 [cs.PL])

Probabilistic programming makes it easy to represent a probabilistic model as
a program. Building an individual model, however, is only one step of
probabilistic modeling. The broader challenge of probabilistic modeling is in
understanding and navigating spaces of alternative models. There is currently
no good way to represent these spaces of alternative models, despite their
central role. We present an extension of probabilistic programming that lets
each program represent a network of interrelated probabilistic models. We give
a formal semantics …

arxiv pl programming