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
- AQUA: automated quantized inference for probabilistic programs
- 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)
- Biform theories: project description
This page was built for software: Hakaru
