xQLcklRDfM / logbook.json
Dinesh Jinjala
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy)
7921e1e
Raw
History Blame Contribute Delete
2.29 kB
{
"schema_version": 1,
"title": "Repro - The Cost of Learning Under Multiple Change Points",
"emoji": "\ud83c\udfaf",
"space_id": "DineshAI/xQLcklRDfM",
"paper": {
"openreview_id": "xQLcklRDfM",
"arxiv_id": "2602.11406",
"title": "The Cost of Learning Under Multiple Change Points"
},
"tags": [
"icml2026-repro",
"paper-xQLcklRDfM"
],
"updated_at": "2026-07-27T11:20:00+00:00",
"root": {
"slug": "index",
"title": "Repro - The Cost of Learning Under Multiple Change Points",
"file": "pages/index.md",
"children": [
{
"slug": "methods",
"title": "Methods",
"file": "pages/methods/page.md",
"children": []
},
{
"slug": "claim-1-atc-upper-bound",
"title": "Claim 1 \u2014 ATC upper bound",
"file": "pages/claim-1-atc-upper-bound/page.md",
"children": []
},
{
"slug": "claim-2-minimax-lower-bound",
"title": "Claim 2 \u2014 minimax lower bound",
"file": "pages/claim-2-minimax-lower-bound/page.md",
"children": []
},
{
"slug": "claim-3-endogenous-confounding",
"title": "Claim 3 \u2014 endogenous confounding",
"file": "pages/claim-3-endogenous-confounding/page.md",
"children": []
},
{
"slug": "claim-4-full-synthetic-scaling",
"title": "Claim 4 \u2014 full synthetic scaling",
"file": "pages/claim-4-full-synthetic-scaling/page.md",
"children": []
},
{
"slug": "claim-5-nab-benchmark",
"title": "Claim 5 \u2014 NAB benchmark",
"file": "pages/claim-5-nab-benchmark/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-atc-regret",
"title": "Claims \u2014 ATC change-point regret bounds",
"file": "pages/claim-atc-regret/page.md",
"children": []
}
]
},
"agent_view_tokens": 4879,
"revision": "1784638609179668642"
}