Deterministic stream-sampling for probabilistic programming: semantics and verification
View/ Open
Published version
Embargoed until: 5555-01-01
Reason: Version not permitted.
Embargoed until: 5555-01-01
Reason: Version not permitted.
DOI
10.1109/LICS56636.2023.10175773
ISSN
1043-6871