Spaces:
Running
Running
File size: 2,212 Bytes
a928c53 07c6292 a928c53 07c6292 ee8ea1e a928c53 ee8ea1e 07c6292 ee8ea1e a928c53 e41343c ee8ea1e 07c6292 ee8ea1e 07c6292 ee8ea1e 07c6292 ee8ea1e 07c6292 ee8ea1e 07c6292 ee8ea1e 07c6292 ee8ea1e 07c6292 e41343c a928c53 07c6292 a1a1ea7 07c6292 ee8ea1e d5d2b00 | 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 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 | {
"schema_version": 2,
"title": "Reproduction: Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function",
"emoji": "🎯",
"space_id": "DineshAI/JnuwpwbZ8D",
"paper": {
"arxiv_id": "2602.02406"
},
"tags": [
"icml2026-repro",
"paper-JnuwpwbZ8D"
],
"updated_at": "2026-07-27T12:00:00+00:00",
"root": {
"slug": "universal-proof-index",
"title": "Reproduction: Provably Data-driven Multiple Hyper-parameter Tuning with Structured Loss Function",
"file": "pages/universal-proof-index/page.md",
"children": [
{
"slug": "universal-proof-c1",
"title": "Claim 1: Theorem 4.1 universal FOL proof",
"file": "pages/universal-proof-c1/page.md",
"children": []
},
{
"slug": "universal-proof-c2",
"title": "Claim 2: Theorem 5.1 training-loss proof",
"file": "pages/universal-proof-c2/page.md",
"children": []
},
{
"slug": "universal-proof-c3",
"title": "Claim 3: Theorem 6.1 bilevel proof",
"file": "pages/universal-proof-c3/page.md",
"children": []
},
{
"slug": "universal-proof-c4",
"title": "Claim 4: Theorem 7.2 rational-path proof",
"file": "pages/universal-proof-c4/page.md",
"children": []
},
{
"slug": "universal-proof-c5",
"title": "Claim 5: Theorem 8.1 group LASSO proof",
"file": "pages/universal-proof-c5/page.md",
"children": []
},
{
"slug": "universal-proof-c6",
"title": "Claim 6: Theorem 8.2 fused LASSO proof",
"file": "pages/universal-proof-c6/page.md",
"children": []
},
{
"slug": "universal-proof-release",
"title": "Fixed run, independent audit, and visibility matrix",
"file": "pages/universal-proof-release/page.md",
"children": []
}
]
},
"traces": [],
"workspace": {
"file": "workspace.json",
"file_count": 0,
"total_size": 0,
"bucket_id": null
},
"agent_view_tokens": 20000,
"trace_view_tokens": 10,
"workspace_view_tokens": 8,
"revision": "universal-proof-certificates-2026-07-27"
}
|