Spaces:
Running
Running
Dinesh Jinjala
Full-scale reproduction: all 6 claims VERIFIED (claims 1,2,3,5,6 upgraded from toy baseline; claim 4 exact audit preserved). Adds per-claim pages, real 2016 election data analysis, simulation RMSE+coverage, Delta-method asymptotic validity, von Neumann minimax LP. Historical toy baseline preserved at pages/historical-toy-baseline.
08e9f95 | { | |
| "schema_version": 1, | |
| "title": "Repro - MiniMax Learning of Interpretable Factored Stochastic Policies", | |
| "emoji": "\ud83c\udfaf", | |
| "space_id": "DineshAI/GJblFvJcMb", | |
| "paper": { | |
| "arxiv": "2504.19043", | |
| "url": "https://ar5iv.labs.arxiv.org/html/2504.19043" | |
| }, | |
| "tags": [ | |
| "icml2026-repro", | |
| "paper-GJblFvJcMb" | |
| ], | |
| "updated_at": "2026-07-25T19:00:00+00:00", | |
| "root": { | |
| "slug": "index", | |
| "title": "Repro - MiniMax Factored Policies", | |
| "file": "pages/index.md", | |
| "children": [ | |
| { | |
| "slug": "overview", | |
| "title": "Overview", | |
| "file": "pages/overview/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claims", | |
| "title": "Claims", | |
| "file": "pages/claims/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "verification-run", | |
| "title": "Verification run", | |
| "file": "pages/verification-run/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "evidence", | |
| "title": "Evidence", | |
| "file": "pages/evidence/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "conclusion", | |
| "title": "Conclusion", | |
| "file": "pages/conclusion/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-1-formulation", | |
| "title": "Claim 1 \u2014 formulation", | |
| "file": "pages/claim-1-formulation/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-2-delta-method", | |
| "title": "Claim 2 \u2014 Delta method", | |
| "file": "pages/claim-2-delta-method/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-3-minimax", | |
| "title": "Claim 3 \u2014 minimax", | |
| "file": "pages/claim-3-minimax/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-4-proposition-1-exact", | |
| "title": "Claim 4 \u2014 exact Proposition 1 audit", | |
| "file": "pages/claim-4-proposition-1-exact/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-5-simulation", | |
| "title": "Claim 5 \u2014 simulation", | |
| "file": "pages/claim-5-simulation/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "claim-6-election", | |
| "title": "Claim 6 \u2014 2016 election", | |
| "file": "pages/claim-6-election/page.md", | |
| "children": [] | |
| }, | |
| { | |
| "slug": "historical-toy-baseline", | |
| "title": "Historical rejected baseline", | |
| "file": "pages/historical-toy-baseline/page.md", | |
| "children": [] | |
| } | |
| ] | |
| }, | |
| "revision": "20260725190000" | |
| } | |