Spaces:
Running
Running
Claim [5]: add concrete experiments for Theorems 3, 4, 5 rule commutativity -- self-tested do-calculus engine (mutilation + d-separation), same-direction biconditional commutativity (0 asymmetries over 4000 DAGs) and mixed-direction weak one-way commutativity with converse-failure witnesses
b0c8fb9 verified | { | |
| "schema_version": 1, | |
| "title": "Repro - Do-Calculus Derivation Graphs", | |
| "emoji": "\ud83c\udfaf", | |
| "space_id": "DineshAI/KUBkuPwGf4", | |
| "paper": { | |
| "arxiv_id": "2606.03719", | |
| "openreview_id": "KUBkuPwGf4" | |
| }, | |
| "tags": [ | |
| "icml2026-repro", | |
| "paper-KUBkuPwGf4" | |
| ], | |
| "updated_at": "2026-07-22T10:05:00+00:00", | |
| "root": { | |
| "slug": "index", | |
| "title": "Repro - Do-Calculus Derivation Graphs", | |
| "file": "pages/index.md", | |
| "children": [ | |
| { | |
| "slug": "claim-1-full-equivalence-space", | |
| "title": "Claim 1 \u2014 full equivalence space", | |
| "file": "pages/claim-1-full-equivalence-space/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-2-four-rule-canonical-form", | |
| "title": "Claim 2 \u2014 four-rule canonical form", | |
| "file": "pages/claim-2-four-rule-canonical-form/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-3-multiple-efficient-estimands", | |
| "title": "Claim 3 \u2014 multiple efficient estimands", | |
| "file": "pages/claim-3-multiple-efficient-estimands/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-5-rule-commutativity", | |
| "title": "Claim 5 - rule commutativity (Thms 3, 4, 5)", | |
| "file": "pages/claim-5-rule-commutativity/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "methods-environment", | |
| "title": "Methods & environment", | |
| "file": "pages/methods-environment/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "negative-controls-falsification", | |
| "title": "Negative controls & falsification", | |
| "file": "pages/negative-controls-falsification/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "conclusion", | |
| "title": "Conclusion", | |
| "file": "pages/conclusion/page.md", | |
| "children": [] | |
| } | |
| ] | |
| }, | |
| "agent_view_tokens": 1862, | |
| "revision": "1784620825555722399" | |
| } |