1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jialu Bao, Simon Docherty, Justin Hsu +1
Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence a…