| { |
| "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" |
| } |
