Published November 18, 2019 | Version v1.0.0
Software Open

Artifact for "Towards Verified Stochastic Variational Inference for Probabilistic Programs" (POPL 2020)

Authors/Creators

  • 1. KAIST
  • 2. INRIA Paris

Description

This is the artifact for the paper "Towards Verified Stochastic Variational Inference for Probabilistic Programs" to appear at POPL 2020.

Files

wonyeol/static-analysis-for-support-match-v1.0.0.zip

Files (259.7 kB)

Additional details

Related works

Is supplement to
https://github.com/wonyeol/static-analysis-for-support-match/tree/v1.0.0 (URL)