Published April 7, 2023 | Version 2
Software Open

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

Authors/Creators

  • 1. Ohio University
  • 2. BedRock Systems, Inc.
  • 3. IMDEA Software Institute

Description

Artifact submission for PLDI'23 paper 'Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning'.

Files

artifact_v2.zip

Files (1.2 MB)

Name Size Download all
md5:e322cc7e389642f30f082cdb59d8ae05
1.2 MB Preview Download