Published May 12, 2026 | Version v2
Software Open

Artifact for "Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic"

Authors/Creators

  • 1. ROR icon New York University
  • 2. ROR icon Aarhus University

Description

Artifact for "Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic"

Upstream code hosted at https://github.com/logsem/clutch

Files

Files (682.2 kB)

Name Size Download all
md5:2233eb9146810cef6d343056b194d40f
682.2 kB Download