File size: 885 Bytes
1b46bee
2ab24d7
 
1b46bee
2ab24d7
 
89bdba3
2ab24d7
 
 
 
 
 
 
 
1b46bee
2ab24d7
 
 
 
 
 
 
 
 
a04e7f3
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
{
  "title": "Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function",
  "orid": "JnuwpwbZ8D",
  "space_id": "neonforestmist/provably-data-driven-multi-hyperparameter-repro",
  "forecast": "12/12",
  "repair": "claim-faithful-v3",
  "repaired_at": "2026-07-27T19:01:06.574422+00:00",
  "pages": [
    "01-establishes-general-first-order-logic-framework",
    "02-bounds-pseudo-dimension-piecewise-polynomial-tra",
    "03-extends-framework-bi-level-validation-loss-setti",
    "04-optimal-parameter-path-theta-alpha",
    "05-provides-first-learnability-guarantee-weighted",
    "06-derives-pdim-bound-weighted-fused",
    "conclusion"
  ],
  "artifacts": [
    "evidence/claim_1.json",
    "evidence/claim_2.json",
    "evidence/claim_3.json",
    "evidence/claim_4.json",
    "evidence/claim_5.json",
    "evidence/claim_6.json"
  ],
  "cpu_only": true
}