{ "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 }