KUBkuPwGf4 / logbook.json
DineshAI's picture
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
Raw
History Blame Contribute Delete
1.94 kB
{
"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"
}