{
  "schema_version": 1,
  "title": "Repro - Language Generation with Replay",
  "emoji": "🎯",
  "space_id": "DineshAI/scnRgI2hhX",
  "paper": "2603.11784",
  "tags": [
    "icml2026-repro",
    "paper-scnRgI2hhX",
    "theory",
    "replay",
    "lean4"
  ],
  "updated_at": "2026-08-03T00:40:00+00:00",
  "root": {
    "slug": "index",
    "title": "Repro - Language Generation with Replay",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "executive-summary",
        "title": "Executive summary",
        "file": "pages/executive-summary/page.md",
        "children": [
          {
            "slug": "visibility-matrix",
            "title": "Retained evaluator evidence matrix",
            "file": "pages/visibility-matrix/page.md",
            "children": []
          },
          {
            "slug": "release-report",
            "title": "Retained candidate release report",
            "file": "pages/release-report/page.md",
            "children": []
          },
          {
            "slug": "overview",
            "title": "Retained overview",
            "file": "pages/overview/page.md",
            "children": []
          },
          {
            "slug": "claims",
            "title": "Retained claims index",
            "file": "pages/claims/page.md",
            "children": []
          },
          {
            "slug": "evidence",
            "title": "Retained evidence index",
            "file": "pages/evidence/page.md",
            "children": []
          },
          {
            "slug": "historical-rejected-baseline",
            "title": "Historical rejected baseline",
            "file": "pages/historical-rejected-baseline/page.md",
            "children": []
          }
        ]
      },
      {
        "slug": "claim-1-current",
        "title": "Claim 1 — uniform equivalence",
        "file": "pages/claim-1-current/page.md",
        "children": []
      },
      {
        "slug": "claim-2-current",
        "title": "Claim 2 — countable separation",
        "file": "pages/claim-2-current/page.md",
        "children": []
      },
      {
        "slug": "claim-3-current",
        "title": "Claim 3 — Witness Protection",
        "file": "pages/claim-3-current/page.md",
        "children": []
      },
      {
        "slug": "claim-4-current",
        "title": "Claim 4 — uncountable separation",
        "file": "pages/claim-4-current/page.md",
        "children": []
      },
      {
        "slug": "claim-5-current",
        "title": "Claim 5 — MQ lower bound",
        "file": "pages/claim-5-current/page.md",
        "children": []
      },
      {
        "slug": "claim-6-current",
        "title": "Claim 6 — finite replay hardness",
        "file": "pages/claim-6-current/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 1900,
  "revision": "2026080300400000000"
}