Verifying formulas for interventional distributions
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 given formula is identifying. We show that even sound and complete solutions to identification do not solve verification. We propose a falsifier as a first practical route forward, prove that it induces an almost-surely correct verifier for regular exponential-family models, and use the resulting verifier to develop the gateway
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- LinkedLinked via arxiv author · 85%Francesco Freni →
“Verifying formulas for interventional distributions”
- LinkedLinked via arxiv author · 85%Leonard Henckel →
“Verifying formulas for interventional distributions”
- LinkedLinked via arxiv author · 85%Sebastian Weichwald →
“Verifying formulas for interventional distributions”