Venture
From MaRDI portal
Cited in
(23)- RankPL
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Quasi-Borel Spaces
- RankPL: a qualitative probabilistic programming language
- Commutative semantics for probabilistic programming
- The beta-Bernoulli process and algebraic effects
- Declarative probabilistic programming with Datalog
- Church
- smfsb
- Hakaru
- VIBES
- DeepDive
- Probabilistic inference by program transformation in Hakaru (system description)
- A Convenient Category for Higher-Order Probability Theory
- Figaro
- Biips
- Lasagne
- DENDRAL
- DeCo
- Swift
- LogiQL
- Anglican
- Automatic differentiation variational inference
This page was built for software: Venture
