Smoothness Analysis for Pyro Programs

This is an implementation for the following paper:

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Wonyeol Lee, Xavier Rival, Hongseok Yang
POPL 2023

You can download a VM containing the implementation from:

For details of the implementation, please read:

instructions.txt