Spaces:
Running
Running
File size: 2,130 Bytes
2ebb6d1 c5db65f 2ebb6d1 | 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 | {
"schema_version": 1,
"title": "MIRA: A Score for Conditional Distribution Accuracy and Model Comparison",
"emoji": "🎯",
"space_id": "snaykey/repro-llmf",
"paper": null,
"tags": [],
"updated_at": "2026-07-20T08:00:00+00:00",
"root": {
"slug": "index",
"title": "MIRA: A Score for Conditional Distribution Accuracy and Model Comparison",
"file": "pages/index.md",
"children": [
{
"slug": "executive-summary",
"title": "Executive summary",
"file": "pages/executive-summary/page.md",
"children": []
},
{
"slug": "claim-1-uniform-mass",
"title": "Claim 1: Uniform Mass Property (Proposition 3.1)",
"file": "pages/claim-1-uniform-mass/page.md",
"children": []
},
{
"slug": "claim-2-laplace",
"title": "Claim 2: Laplace rule of succession (Proposition 3.2)",
"file": "pages/claim-2-laplace/page.md",
"children": []
},
{
"slug": "claim-3-convergence",
"title": "Claim 3: Convergence to 2/3 and variance 1/18 (Corollary 3.4)",
"file": "pages/claim-3-convergence/page.md",
"children": []
},
{
"slug": "claim-4-lower-bound",
"title": "Claim 4: Lower bound μ_Mira ≥ 1/2 (Proposition 3.5)",
"file": "pages/claim-4-lower-bound/page.md",
"children": []
},
{
"slug": "claim-5-lensing",
"title": "Claim 5: Bayesian model comparison on lensing models (Section 5.3)",
"file": "pages/claim-5-lensing/page.md",
"children": []
},
{
"slug": "claim-6-galaxy-robustness",
"title": "Claim 6: High-dimensional galaxy robustness with L=16 (Section 5.3)",
"file": "pages/claim-6-galaxy-robustness/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 2385,
"revision": "1784476393952874400"
} |