We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1e6c841
This is the artifact of the paper "Towards Verified Stochastic Variational Inference for Probabilistic Programs" to appear at POPL 2020.