Spaces:
Running
Running
Dinesh Jinjala
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy)
7921e1e | { | |
| "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" | |
| } |