Verified Density Compilation for a Probabilistic Programming Language

Joseph Tassarotti, Jean Baptiste Tristan

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Verified Density Compilation for a Probabilistic Programming Language'. Together they form a unique fingerprint.

Computer Science

Keyphrases