242 citations · 558 across the 42 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…