logbook.json

{
  "schema_version": 1,
  "title": "Repro: Cutting LLM Evaluation Costs with SySRs",
  "emoji": "🎯",
  "space_id": "toqi/sysrs-repro",
  "paper": {
    "arxiv_id": "2606.07726"
  },
  "tags": [
    "icml2026-repro",
    "paper-vkG1xVVKOH"
  ],
  "updated_at": "2026-07-16T02:17:52+00:00",
  "root": {
    "slug": "index",
    "title": "Repro: Cutting LLM Evaluation Costs with SySRs",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "claim-1-sysrs-algorithm-design",
        "title": "Claim 1: SySRs algorithm design",
        "file": "pages/claim-1-sysrs-algorithm-design/page.md",
        "children": []
      },
      {
        "slug": "claim-2-theorem-5-1-correlation-aware-bound-h3",
        "title": "Claim 2: Theorem 5.1 correlation-aware bound (H3)",
        "file": "pages/claim-2-theorem-5-1-correlation-aware-bound-h3/page.md",
        "children": []
      },
      {
        "slug": "claim-3-table-2-identification-accuracy-across-15-benchmarks",
        "title": "Claim 3: Table 2 - identification accuracy across 15 benchmarks",
        "file": "pages/claim-3-table-2-identification-accuracy-across-15-benchmarks/page.md",
        "children": []
      },
      {
        "slug": "claim-4-table-3-confidence-budget-worst-case",
        "title": "Claim 4: Table 3 - confidence budget (worst case)",
        "file": "pages/claim-4-table-3-confidence-budget-worst-case/page.md",
        "children": []
      },
      {
        "slug": "claim-5-corollary-5-2-regimes-where-synchronization-helps",
        "title": "Claim 5: Corollary 5.2 - regimes where synchronization helps",
        "file": "pages/claim-5-corollary-5-2-regimes-where-synchronization-helps/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 5491,
  "revision": "1784168272163381481"
}