Search papers, labs, and topics across Lattice.
This paper introduces a framework for counterfactual image auditing that addresses the local-to-global failure in image editing by utilizing common witness grades and witness nerves. By separating auditing from causal identification, the authors derive sharp partial-identification bounds for specified image features, revealing how shared exogeneity can lead to misleading conclusions when assessing image edits. Experimental results on controlled datasets like MNIST and Morpho-MNIST validate the framework's effectiveness in demonstrating the predicted separation and recovering incompatibility certificates.
A novel auditing framework reveals that image editors can satisfy regional plausibility constraints while still failing to provide a coherent global explanation.
An image editor may satisfy every regional plausibility constraint separately even when no single latent explanation fits the complete output. We formalize this local-to-global failure using a common witness grade and witness nerve. The framework separates auditing from causal identification: shared exogeneity alone allows every coupling of the regime marginals, whereas an externally justified witness relation yields sharp partial-identification bounds for prespecified image features. Helly-type arguments provide short incompatibility certificates for quasiconvex losses, heterogeneous action strata, and finite witness atlases; a blocker-hypergraph formula gives exact repair counts. Simultaneous confidence regions for the regime marginals give finite-sample outer coverage of the complete identified interval. Controlled MNIST, Morpho-MNIST, and smallNORB studies demonstrate the predicted local-global separation, while synthetic experiments test sharp bounds, certificate recovery, and structured computation. The method audits a declared feature relation and does not identify unrestricted pixel-level counterfactuals.
