works on
causal graphical models 1exponential-family models 1front-door criterion 1identification 1interventional distribution 1verification 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

stat.ME2026

Verifying formulas for interventional distributions

Francesco Freni, Leonard Henckel, Sebastian Weichwald

The paper defines the verification problem for causal graphical models—checking whether a specific observational formula correctly identifies a target interventional distribution—a…