logbook.json

{
  "schema_version": 1,
  "title": "Repro - Editable Proof Sketch for Automated Theorem Proving",
  "emoji": "🎯",
  "space_id": "Sugutt/repro-editable-proof-sketch",
  "paper": {
    "openreview_id": "mI3K0e1KsN",
    "url": "https://openreview.net/forum?id=mI3K0e1KsN"
  },
  "tags": [
    "icml2026-repro",
    "paper-mI3K0e1KsN"
  ],
  "updated_at": "2026-07-17T08:15:45+00:00",
  "root": {
    "slug": "index",
    "title": "Repro - Editable Proof Sketch for Automated Theorem Proving",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "claim-1-formalmath-lite-pass-rate",
        "title": "Claim 1 - FormalMath-Lite pass rate",
        "file": "pages/claim-1-formalmath-lite-pass-rate/page.md",
        "children": []
      },
      {
        "slug": "claim-2-token-efficiency",
        "title": "Claim 2 - Token efficiency",
        "file": "pages/claim-2-token-efficiency/page.md",
        "children": []
      },
      {
        "slug": "claim-3-in-place-preservation",
        "title": "Claim 3 - In-place preservation",
        "file": "pages/claim-3-in-place-preservation/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 4813,
  "revision": "1784276145696164300"
}