Hakaru
From MaRDI portal
Software:26566
swMATH14669MaRDI QIDQ26566FDOQ26566
Author name not available (Why is that?)
Source code repository: https://github.com/hakaru-dev/hakaru
Cited In (6)
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- 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)
- AQUA: automated quantized inference for probabilistic programs
- Biform theories: project description
This page was built for software: Hakaru
