rahit/repro-provably-data-driven-multiple-hyper-parameter-tuning-with-structured-loss-function

1{2  "schema_version": 1,3  "title": "Reproduction: Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function",4  "emoji": "🎯",5  "space_id": "rahit/repro-provably-data-driven-multiple-hyper-parameter-tuning-with-structured-loss-function",6  "paper": {7    "arxiv_id": "2602.02406"8  },9  "tags": [10    "icml2026-repro",11    "paper-JnuwpwbZ8D"12  ],13  "updated_at": "2026-07-21T22:32:00+00:00",14  "root": {15    "slug": "index",16    "title": "Reproduction: Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function",17    "file": "pages/index.md",18    "children": [19      {20        "slug": "executive-summary",21        "title": "Executive summary",22        "file": "pages/executive-summary/page.md",23        "children": []24      },25      {26        "slug": "claim-1-theorem-4-1-establishes-general-first-order-logic",27        "title": "Claim 1: Theorem 4.1: establishes general first-order-logic",28        "file": "pages/claim-1-theorem-4-1-establishes-general-first-order-logic/page.md",29        "children": []30      },31      {32        "slug": "claim-2-theorem-5-1-bounds-pseudo-dimension-piecewise-polynomial",33        "title": "Claim 2: Theorem 5.1: bounds pseudo-dimension piecewise-polynomial",34        "file": "pages/claim-2-theorem-5-1-bounds-pseudo-dimension-piecewise-polynomial/page.md",35        "children": []36      },37      {38        "slug": "claim-3-theorem-6-1-extends-framework-bi-level-validation-loss",39        "title": "Claim 3: Theorem 6.1: extends framework bi-level validation-loss",40        "file": "pages/claim-3-theorem-6-1-extends-framework-bi-level-validation-loss/page.md",41        "children": []42      },43      {44        "slug": "claim-4-theorem-7-2-optimal-parameter-path-theta-piecewise",45        "title": "Claim 4: Theorem 7.2: optimal parameter path theta piecewise",46        "file": "pages/claim-4-theorem-7-2-optimal-parameter-path-theta-piecewise/page.md",47        "children": []48      },49      {50        "slug": "claim-5-theorem-8-1-provides-first-learnability-guarantee",51        "title": "Claim 5: Theorem 8.1: provides first learnability guarantee",52        "file": "pages/claim-5-theorem-8-1-provides-first-learnability-guarantee/page.md",53        "children": []54      },55      {56        "slug": "claim-6-theorem-8-2-derives-pdim-bound-weighted-fused-lasso",57        "title": "Claim 6: Theorem 8.2: derives Pdim bound weighted fused LASSO",58        "file": "pages/claim-6-theorem-8-2-derives-pdim-bound-weighted-fused-lasso/page.md",59        "children": []60      },61      {62        "slug": "conclusion",63        "title": "Conclusion",64        "file": "pages/conclusion/page.md",65        "children": []66      }67    ]68  },69  "agent_view_tokens": 6716,70  "revision": "1784673120458342206"71}