Counterfactual Generation via Flow Matching: Coupling-Sensitive End-to-End Rates
Organizations: Department of Applied Mathematics and Statistics, Johns Hopkins University. · Amazon · Department of Statistics, University of California, Davis.
Abstract
Counterfactual generation seeks to sample outcomes under a hypothetical intervention or decision using observational data collected under the factual assignment mechanism. We develop a flow-matching approach that combines a sample-split, doubly robust training objective with a learned coupling between observed source outcomes and target outcomes drawn from a fitted conditional outcome model. To enable finite-step generation, we leverage a score-corrected stochastic sampler based on a Gaussian-smoothed interpolation. Our main theoretical contribution is a coupling-sensitive KL bound for constant-step Euler discretization: the error is controlled by moments of the source--target displacement under the chosen coupling, rather than by global uniform regularity of the velocity field, and has near-linear dependence on the ambient dimension. We also establish finite-sample non-parametric guarantees for the learned velocity and score fields when both the conditional outcome model and the source-target coupling are estimated from data. These bounds separate approximation, coupling-replacement, nuisance-estimation, generalization, and Monte Carlo errors and, combined with the sampler analysis, yield an end-to-end guarantee for counterfactual generation. Experiments on synthetic and semi-synthetic image benchmarks support the coupling-dependent theory and show that, at finite discretization budgets, the stochastic sampler can outperform the corresponding deterministic ODE sampler.
Figures & tables
Appendix figures & tables6 assets
Supplementary material from the paper’s appendix.
Appendix
| Work | Setting / Method | Metric | Dim. | Assumption | Coupling control |
| Stochastic interpolants and flow matching | |||||
| This work Main theorem | constant- smoothing SI SDE, Euler | KL | error | ||
| ( Liu et al., 2025 ) Thm. 4.3; Sec. 5 | SI SDE, Euler | KL | error | Partial | |
| ( Liu et al., 2026 ) Thm. 4.5 | SI ODE, Euler | TV | drift/div. errors; unif. reg. | No | |
| Diffusion-model baselines | |||||
| ( Benton et al., 2024 ) Cor. 1 | diffusion exp. integrator | KL | error | – | |
| Notation | Meaning | Notation | Meaning |
|---|---|---|---|
| Observed covariate, treatment, and outcome. | Clipped sparse-ReLU velocity class and score class induced by clipped sparse-ReLU denoisers. | ||
| Fixed target treatment value. | Network input-clipping radius and approximation tolerance; field-specific choices appear in Proposition 1 . | ||
| Conditional outcome law at covariate value under treatment . | Integrated estimation errors of the learned velocity and score fields. | ||
| Target law . | Noise level of the score-corrected SDE sampler. | ||
| Observed outcome law among samples with treatment . | Number of sampling steps and Euler step size, with . | ||
| Training and auxiliary splits, each containing observations. | Sampling grid point . |