File size: 3,467 Bytes
fb64245 26d3ca0 fb64245 26d3ca0 fb64245 26d3ca0 fb64245 26d3ca0 fb64245 | 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 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | {
"schema_version": 2,
"title": "Reproduction: Exactly Computing do-Shapley Values",
"emoji": "🎯",
"space_id": "SabaPivot/repro-exactly-computing-do-shapley-values",
"paper": {
"arxiv_id": "2602.07203"
},
"tags": [
"icml2026-repro",
"paper-Peim0KY6ty"
],
"updated_at": "2026-07-22T14:03:12+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-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where",
"title": "Claim 1: Exact class-compressed Shapley",
"file": "pages/claim-1-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where/page.md",
"children": []
},
{
"slug": "claim-2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if",
"title": "Claim 2: Singleton identifiability test",
"file": "pages/claim-2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if/page.md",
"children": []
},
{
"slug": "claim-3-lemma-3-1-establishes-that-for-any-closed-set-with-a",
"title": "Claim 3: Closed-set lattice traversal",
"file": "pages/claim-3-lemma-3-1-establishes-that-for-any-closed-set-with-a/page.md",
"children": []
},
{
"slug": "claim-4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-distinct",
"title": "Claim 4: Boundary-sampling guarantee",
"file": "pages/claim-4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-distinct/page.md",
"children": []
},
{
"slug": "claim-5-the-doregressionmsr-estimator-consistently-outperforms-baseline-variants-and-exhibits-a",
"title": "Claim 5: Estimator phase transition",
"file": "pages/claim-5-the-doregressionmsr-estimator-consistently-outperforms-baseline-variants-and-exhibits-a/page.md",
"children": []
},
{
"slug": "claim-6-real-world-causal-structures-tend-to-be-sparse-so-the-number",
"title": "Claim 6: Real-world sparsity claim",
"file": "pages/claim-6-real-world-causal-structures-tend-to-be-sparse-so-the-number/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"traces": [
{
"id": "019f7d0f-6a50-71d0-b0fd-63c6e87ac233",
"title": "Codex reproduction session (scrubbed)",
"provider": "Codex",
"model": "gpt-5.6-sol",
"started_at": "2026-07-20T01:08:08.183000+00:00",
"ended_at": "2026-07-22T14:03:05.409000+00:00",
"duration_ms": 219297226,
"event_count": 21044,
"turn_count": 39,
"source_available": true,
"attached_at": "2026-07-22T10:35:56+00:00",
"index_file": "traces/019f7d0f-6a50-71d0-b0fd-63c6e87ac233/index.json"
}
],
"workspace": {
"file": "workspace.json",
"file_count": 2135,
"total_size": 746327442,
"bucket_id": "SabaPivot/repro-exactly-computing-do-shapley-values-artifacts"
},
"agent_view_tokens": 6683,
"trace_view_tokens": 1395353,
"workspace_view_tokens": 36574,
"revision": "4bcde058d42d536acd5c"
} |