probcomp / Gen.jl

A general-purpose probabilistic programming system with programmable inference
https://gen.dev
Apache License 2.0
1.79k stars 160 forks source link

Refer to auxiliary randomness r more consistently. #492

Closed fsaad closed 1 year ago

fsaad commented 1 year ago
  1. Use p(r | t; x) to denote the conditional of p(r, t; x) rather than p(r; x, t). The current notation does not make it clear that p(r; x, t) must coincide with the proper conditional (r | t; x), according to Bayes rule.

  2. Use p(r,t;x) throughout, rather than the current mix of p(t,r;x) and p(r,t;x).