My paper, Graph Surgery and the Do-Operator: A Precise Correspondence for Acyclic Structural Causal Models, is now available on arXiv. A companion Lean 4 formalization mechanizes the principal results.
My paper, Graph Surgery and the Do-Operator: A Precise Correspondence for Acyclic Structural Causal Models, is now available on arXiv. A companion Lean 4 formalization mechanizes the principal results.