| { |
| "schema_version": 2, |
| "title": "Reproduction: Exactly Computing do-Shapley Values", |
| "emoji": "🎯", |
| "space_id": "RyeCatcher/repro-exactly-computing-do-shapley-values", |
| "paper": { |
| "arxiv_id": "2602.07203" |
| }, |
| "tags": [ |
| "icml2026-repro", |
| "paper-Peim0KY6ty" |
| ], |
| "updated_at": "2026-07-30T13:11:34+00:00", |
| "root": { |
| "slug": "index", |
| "title": "Reproduction: Exactly Computing do-Shapley Values", |
| "file": "pages/index.md", |
| "children": [ |
| { |
| "slug": "executive-summary", |
| "title": "Executive summary", |
| "file": "pages/executive-summary/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-1-c1-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where-r", |
| "title": "Claim 1: C1: Do-Shapley values can be computed exactly in O(r(d+e+T)) time, where r...", |
| "file": "pages/claim-1-c1-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where-r/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-2-c2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if-and-on", |
| "title": "Claim 2: C2: Theorem 5.1 shows the do-Shapley value phi_i is identifiable if and on...", |
| "file": "pages/claim-2-c2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if-and-on/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-3-c3-lemma-3-1-establishes-that-for-any-closed-set-with-a-basis-removing-a", |
| "title": "Claim 3: C3: Lemma 3.1 establishes that for any closed set with a basis, removing a...", |
| "file": "pages/claim-3-c3-lemma-3-1-establishes-that-for-any-closed-set-with-a-basis-removing-a/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-4-c4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-dist", |
| "title": "Claim 4: C4: Algorithm 3 (boundary sampling) guarantees discovery of min(m, r) dist...", |
| "file": "pages/claim-4-c4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-dist/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-5-c5-the-doregressionmsr-estimator-consistently-outperforms-baseline-varian", |
| "title": "Claim 5: C5: The doRegressionMSR estimator consistently outperforms baseline varian...", |
| "file": "pages/claim-5-c5-the-doregressionmsr-estimator-consistently-outperforms-baseline-varian/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "claim-6-c6-real-world-causal-structures-tend-to-be-sparse-so-the-number-of-irred", |
| "title": "Claim 6: C6: Real-world causal structures tend to be sparse, so the number of irred...", |
| "file": "pages/claim-6-c6-real-world-causal-structures-tend-to-be-sparse-so-the-number-of-irred/page.md", |
| "children": [] |
| }, |
| { |
| "slug": "conclusion", |
| "title": "Conclusion", |
| "file": "pages/conclusion/page.md", |
| "children": [] |
| } |
| ] |
| }, |
| "traces": [], |
| "workspace": { |
| "file": "workspace.json", |
| "file_count": 0, |
| "total_size": 0, |
| "bucket_id": null |
| }, |
| "agent_view_tokens": 4726, |
| "trace_view_tokens": 10, |
| "workspace_view_tokens": 8, |
| "revision": "cb4b201b06f75a9bf01e" |
| } |
