The following pages link to (Q5275390):
Displaying 6 items.
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Probabilistic Programming Language and its Incremental Evaluation (Q3179303) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
- Fast and correct gradient-based optimisation for probabilistic programming via smoothing (Q6535252) (← links)
- Generative Datalog with continuous distributions (Q6551262) (← links)
