Pages that link to "Item:Q2798260"
From MaRDI portal
The following pages link to Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260):
Displaying 9 items.
- AQUA: automated quantized inference for probabilistic programs (Q2147199) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Fabular: regression formulas as probabilistic programming (Q2828269) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1 (Q3541866) (← links)
- (Q5019656) (← links)
- Distribution estimation for probabilistic loops (Q6103024) (← links)
- Languages for probabilistic modeling over structured and relational domains (Q6602256) (← links)