Spaces:
Running
Running
File size: 2,239 Bytes
1c98799 5cd7fd3 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 5cd7fd3 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 7c0bf4d 1c98799 5cd7fd3 7c0bf4d | 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 | {
"schema_version": 1,
"title": "Repro - Sharp Inequalities between Total Variation and Hellinger Distances for Gaussian Mixtures",
"emoji": "🎯",
"space_id": "DineshAI/ihMB4kA2SQ",
"paper": {
"arxiv_id": "2602.03202",
"openreview_id": "ihMB4kA2SQ",
"title": "Sharp Inequalities between Total Variation and Hellinger Distances for Gaussian Mixtures"
},
"tags": [
"icml2026-repro",
"paper-ihMB4kA2SQ"
],
"updated_at": "2026-07-28T06:00:00+00:00",
"root": {
"slug": "index",
"title": "Current claim-by-claim reproduction",
"file": "pages/index.md",
"children": [
{
"slug": "current-overview",
"title": "Current overview — five claim contracts",
"file": "pages/current-overview/page.md",
"children": []
},
{
"slug": "current-formal-proof-replay",
"title": "Current formal proof replay — zero opaque internal nodes",
"file": "pages/current-formal-proof-replay/page.md",
"children": []
},
{
"slug": "current-claim-c1",
"title": "Current C1 — chi-square/TV theorem",
"file": "pages/current-claim-c1/page.md",
"children": []
},
{
"slug": "current-claim-c2",
"title": "Current C2 — Hellinger/TV corollary",
"file": "pages/current-claim-c2/page.md",
"children": []
},
{
"slug": "current-claim-c3",
"title": "Current C3 — sharp Chebyshev construction",
"file": "pages/current-claim-c3/page.md",
"children": []
},
{
"slug": "current-claim-c4",
"title": "Current C4 — minimax TV characterization",
"file": "pages/current-claim-c4/page.md",
"children": []
},
{
"slug": "current-claim-c5",
"title": "Current C5 — robust Hellinger rates",
"file": "pages/current-claim-c5/page.md",
"children": []
},
{
"slug": "current-methods",
"title": "Current methods and reproducibility",
"file": "pages/current-methods/page.md",
"children": []
}
]
},
"agent_view_tokens": 6800,
"revision": "20260728-source-complete-proof-replay"
}
|