Venture

swMATH14670MaRDI QIDQ26567FDOQ26567

Author name not available (Why is that?)

Cited In (8)

• Declarative probabilistic programming with Datalog
• A Convenient Category for Higher-Order Probability Theory
• Commutative semantics for probabilistic programming
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Probabilistic inference by program transformation in Hakaru (system description)
• RankPL: a qualitative probabilistic programming language
• The beta-Bernoulli process and algebraic effects
• Automatic differentiation variational inference

This page was built for software: Venture