Published April 24, 2020
| Version v1.0
Software
Open
lpsi-artifact
Description
Artifact for PLDI'20 paper "λPSI: Exact Inference for Higher-Order Probabilistic Programs".
Files
lpsi-artifact.zip
Files
(79.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b5b410853fe916e6627dc9c4cdd7092
|
79.4 MB | Preview Download |
Additional details
Related works
- Has part
- Software: https://github.com/eth-sri/psi/tree/pldi20 (URL)