File size: 3,216 Bytes
3b279ce
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
{
  "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"
}