Verifying formulas for interventional distributions

arXiv:2607.13883 · stat.ME, cs.AI, cs.LG, stat.ML · Submitted 2026-07-15 · Read on arXiv

Francesco Freni, Leonard Henckel, Sebastian Weichwald

stat.ME, cs.AI, cs.LG, stat.ML

Submitted: 2026-07-15

Comments: Equal contribution between Leonard Henckel and Sebastian Weichwald

Code: https://github.com/francescofreni/hiprof

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 35× in this paper · explained in 2 episodes
• Verifier — 26× in this paper · explained in 2 episodes
• Composition — 6× in this paper · explained in 2 episodes
• Causal Inference — 3× in this paper · explained in 5 episodes
• Causal Reasoning — 2× in this paper · explained in 2 episodes
• Conditional Independence — 2× in this paper · explained in 2 episodes
• Degeneracy — 2× in this paper · explained in 4 episodes
• Downstream Tasks — 1× in this paper · explained in 2 episodes
• Latent Variables — 1× in this paper · explained in 2 episodes

Sources

• Are Bayesian networks typically faithful?
• Complete Causal Identification from Ancestral Graphs under Selection Bias
• Deriving Complete Constraints in Hidden Variable Models
• Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs

Related papers

• Doubly robust inference via calibration
• Bayesian Empirical Bayes: Simultaneous Inference from Probabilistic Symmetries
• Weak-Form Recovery of Stochastic Generators
• Optimal Watermark Localization in Mixed-Source Large Language Model Texts
• Optimized Conformal Selection: Powerful Selective Inference After Data-Dependent Score Construction
• Small area learning