1 paper · 2 filters
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…