Search papers, labs, and topics across Lattice.
This paper addresses the challenge of identifying causal effects from observational data in the presence of latent confounding, a critical issue in causal inference. The authors introduce an efficient algorithm that leverages symbolic computation to find the lowest degree identifying formulas for causal effects, significantly improving upon traditional methods that rely on Gr枚bner bases, which are computationally prohibitive for larger datasets. Their algorithm operates in quasi-polynomial time, enabling practical identifiability assessments for causal effects with specified degree constraints.
Identifying causal effects can now be achieved in quasi-polynomial time, transforming the feasibility of causal inference in complex datasets.
Determining identifiability of causal effects from observational data under latent confounding is a central challenge in causal inference. For linear structural causal models, identifiability of causal effects is decidable through symbolic computation. However, standard approaches based on Gr枚bner bases become computationally infeasible beyond small settings due to their doubly exponential complexity. In this work, we study how to practically use symbolic computation for deciding rational identifiability. In particular, we present an efficient algorithm that provably finds the lowest degree identifying formulas. For a causal effect of interest, if there exists an identification formula of a prespecified maximal degree, our algorithm returns such a formula in quasi-polynomial time.
