Hakaru
From MaRDI portal
Software:26566
No author found.
Source code repository: https://github.com/hakaru-dev/hakaru
Related Items (6)
AQUA: automated quantized inference for probabilistic programs ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring ⋮ Commutative Semantics for Probabilistic Programming ⋮ Probabilistic Inference by Program Transformation in Hakaru (System Description) ⋮ Biform theories: project description
This page was built for software: Hakaru
