logbook.json

{
  "schema_version": 1,
  "title": "Repro - Heavy-Tailed AdaGrad",
  "emoji": "🎯",
  "space_id": "DineshAI/fiYjuwsbFE",
  "paper": {"openreview_id": "fiYjuwsbFE", "arxiv_id": "2605.18694"},
  "tags": ["icml2026-repro", "paper-fiYjuwsbFE"],
  "updated_at": "2026-07-27T12:30:00+00:00",
  "root": {
    "slug": "index",
    "title": "Repro - Heavy-Tailed AdaGrad",
    "file": "pages/index.md",
    "children": [
      {"slug": "claim-1-heavy-tail-rate", "title": "Claim 1 — Heavy-tail rate", "file": "pages/claim-1-heavy-tail-rate/page.md", "children": []},
      {"slug": "claim-2-tail-index-adaptivity", "title": "Claim 2 — Tail-index adaptivity", "file": "pages/claim-2-tail-index-adaptivity/page.md", "children": []},
      {"slug": "claim-3-lower-bound", "title": "Claim 3 — Lower bound", "file": "pages/claim-3-lower-bound/page.md", "children": []},
      {"slug": "claim-4-adagrad-norm", "title": "Claim 4", "file": "pages/claim-4-adagrad-norm/page.md", "children": []},
      {"slug": "claim-5-limitation", "title": "Claim 5", "file": "pages/claim-5-limitation/page.md", "children": []},
      {"slug": "methods", "title": "Methods", "file": "pages/methods/page.md", "children": []},
      {"slug": "negative-controls", "title": "Negative controls", "file": "pages/negative-controls/page.md", "children": []},
      {"slug": "conclusion", "title": "Conclusion", "file": "pages/conclusion/page.md", "children": []},
      {"slug": "claim-3-hard-function", "title": "Claim 3 — Direct Theorem 3.3/B.1 hard function", "file": "pages/claim-3-hard-function/page.md", "children": []}
    ]
  },
  "agent_view_tokens": 1500,
  "revision": "1784733615000000000"
}