# Compositional Semantics for Probabilistic Programs with Exact Conditioning

> Research article (2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021) · cited 19× · AI/ML

**Wikidata**: [openalex:W3173838504](https://www.wikidata.org/wiki/openalex:W3173838504)  
**Source**: https://4ort.xyz/entity/compositional-semantics-for-probabilistic-programs-with-exact-conditioning
