Search papers, labs, and topics across Lattice.
This paper formalizes the verification process in causal graphical models, focusing on whether a specific observational formula accurately identifies a target interventional distribution. The authors reveal that existing identification solutions do not suffice for verification, highlighting a critical gap in the field. They introduce a falsifier that leads to an almost-surely correct verifier for regular exponential-family models and utilize this to create the gateway test, which identifies all admissible sets for front-door formulas.
Verification of causal formulas reveals that even sound identification methods can miss critical insights, challenging established assumptions in causal inference.
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 test, which finds all sets admissible for use in a front-door formula.
