arXiv stat.ML
· Papers
Verifying formulas for interventional distributions
arXiv:2607.13883v1 Announce Type: cross Abstract: We formalize verification in causal graphical models: deciding whether a given observational formula identifies a target interventional distribution. This opens a problem complementary to identification, asking not whether any identifying formula exists, but whether the