Trace types and denotational semantics for sound programmable inference in probabilistic languages
Modern probabilistic programming languages aim to formalize and automate key aspects of probabilistic modeling and inference. Many languages provide constructs for programmable inference that enable developers to improve inference speed and accuracy by tailoring an algorithm for use with a particula...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM),
2021-03-03T12:03:23Z.
|
Subjects: | |
Online Access: | Get fulltext |