Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs

ArXi:2606.03719v1 Announce Type: new The do-calculus defines a general system of inference for interventional queries, allowing causal quantities to be transformed through successive applications of its rules. This process induces a rich space of equivalent interventional expressions, but combining and ordering these rules remains challenging. In this work, we