logbook.json

{
  "schema_version": 1,
  "title": "Repro - Stable Localized Conformal Prediction via Transduction",
  "emoji": "\ud83c\udfaf",
  "space_id": "DineshAI/lSMTccAN61",
  "paper": null,
  "tags": [
    "icml2026-repro",
    "paper-lSMTccAN61"
  ],
  "updated_at": "2026-08-01T02:20:02+00:00",
  "root": {
    "slug": "index",
    "title": "Repro - Stable Localized Conformal Prediction via Transduction",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "full-scale-reproduction",
        "title": "Current verification \u2014 full-scale reproduction",
        "file": "pages/full-scale-reproduction/page.md",
        "children": []
      },
      {
        "slug": "claim-1-formulation",
        "title": "Claim 1 \u2014 StCP formulation (Eq. 7)",
        "file": "pages/claim-1-formulation/page.md",
        "children": []
      },
      {
        "slug": "claim-2-coverage-robustness",
        "title": "Claim 2 \u2014 Coverage robustness to \u03bb (Thm 4.2)",
        "file": "pages/claim-2-coverage-robustness/page.md",
        "children": []
      },
      {
        "slug": "claim-3-set-stability-rates",
        "title": "Claim 3 \u2014 Set-stability rates (Thm 4.6)",
        "file": "pages/claim-3-set-stability-rates/page.md",
        "children": []
      },
      {
        "slug": "claim-4-table1-real-data",
        "title": "Claim 4 \u2014 Table 1, five real datasets",
        "file": "pages/claim-4-table1-real-data/page.md",
        "children": []
      },
      {
        "slug": "claim-5-table2-simulation",
        "title": "Claim 5 \u2014 Table 2, LogAbs simulation",
        "file": "pages/claim-5-table2-simulation/page.md",
        "children": []
      },
      {
        "slug": "claim-6-lambda-selection",
        "title": "Claim 6 \u2014 Data-driven \u03bb selection (Thm 4.7)",
        "file": "pages/claim-6-lambda-selection/page.md",
        "children": []
      },
      {
        "slug": "visibility-matrix",
        "title": "Visibility matrix",
        "file": "pages/visibility-matrix/page.md",
        "children": []
      },
      {
        "slug": "method-and-environment",
        "title": "Method and environment",
        "file": "pages/method-and-environment/page.md",
        "children": []
      },
      {
        "slug": "limitations-and-deviations",
        "title": "Limitations and deviations",
        "file": "pages/limitations-and-deviations/page.md",
        "children": []
      },
      {
        "slug": "overview",
        "title": "Historical rejected baseline \u2014 Overview",
        "file": "pages/overview/page.md",
        "children": []
      },
      {
        "slug": "claims",
        "title": "Historical rejected baseline \u2014 Claims",
        "file": "pages/claims/page.md",
        "children": []
      },
      {
        "slug": "evidence",
        "title": "Historical rejected baseline \u2014 Evidence",
        "file": "pages/evidence/page.md",
        "children": []
      },
      {
        "slug": "verification-run",
        "title": "Historical rejected baseline \u2014 Verification run",
        "file": "pages/verification-run/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Historical rejected baseline \u2014 Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 1501,
  "revision": "1785550802907153865"
}