Re-posted from: https://informativeprior.com/tag/julia/informativeprior.com/informativeprior.com/blog/2021/01-25-symbolic-simplification/
Upcoming features in Soss.jl include static model simplification. After a one-time compilation cost, posterior log-densities for many models become constant cost, independent of the number of observations. Bayesian analysis for such models can easily scale to big data. The symbolic representation of the posterior log-density can also be useful for pedagogical purposes.
Read more