Open rlouf opened 1 year ago
I can give this a shot. Perhaps I can start with working with Z_rv
and see how the logic generalizes to B_rv
and C_rv
?
I can give this a shot. Perhaps I can start with working with
Z_rv
and see how the logic generalizes toB_rv
andC_rv
?
That would be great, thanks!
We should add rewrites that we can use to simplify the following expressions for
Z_rv
,B_rv
andC_rv
when conditioning: