TY - RPRT TI - Verifying formulas for interventional distributions AU - Francesco Freni AU - Leonard Henckel AU - Sebastian Weichwald PY - 2026 UR - https://arxiv.org/abs/2607.13883 ID - 2607.13883 ER -