Refuting Equivalence in Probabilistic Programs with Conditioning
Creators
Description
This repository contains the artifact of the paper titled "Refuting Equivalence in Probabilistic Programs with Conditioning" accepted at TACAS 2025.
The tool takes two probabilistic transition systems with specified initial configurations as input and based on user preferences either (i) tries to prove whether the two programs generate equivalent output distributions, or (ii) tries to find a lowerbound on Kantorovich distance between the output distributions of the input programs.
In order to run the baseline, Mathematica (`math` command in terminal) must be installed.
Additionally, the repository contains the files for Gurobi Optimizer v10.0.3.
The artifact is also available at https://github.com/ChatterjeeGroup-ISTA/artifact-equivalence-TACAS25
Files
artifact.zip
Files
(90.0 MB)
Name | Size | Download all |
---|---|---|
md5:11e98d0ff1cab78098e8f3cbe2e11495
|
90.0 MB | Preview Download |