A Heavy-Tailed Algebra for Probabilistic Programming

The authors propose a systematic static-analysis approach that reasons about the tails of random variables flowing through a probabilistic program, developing an algebra for the tail behaviour of distributions under common operations and using it to inform proposal and variational family design in probabilistic programming systems.