Spaces:
Running
Running
File size: 3,538 Bytes
bec97f8 1fd0442 bec97f8 ecf3aeb bec97f8 1fd0442 bec97f8 ecf3aeb 1fd0442 bec97f8 1fd0442 bec97f8 1fd0442 ecf3aeb 1fd0442 ecf3aeb 1fd0442 6b9d931 1fd0442 6b9d931 1fd0442 6b9d931 1fd0442 6b9d931 1fd0442 6b9d931 17243c8 bec97f8 1fd0442 ecf3aeb | 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 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | {
"schema_version": 1,
"title": "Reproduction: Logical Guidance for the Exact Composition of Diffusion Models",
"emoji": "🎯",
"space_id": "DineshAI/OAM1jJsMGp",
"paper": {
"arxiv_id": "2602.05549",
"openreview_id": "OAM1jJsMGp"
},
"tags": [
"icml2026-repro",
"paper-OAM1jJsMGp"
],
"updated_at": "2026-07-27T14:30:00+00:00",
"root": {
"slug": "index",
"title": "Reproduction: Logical Guidance for the Exact Composition of Diffusion Models",
"file": "pages/index.md",
"children": [
{
"slug": "current-cumulative-verification",
"title": "Current cumulative verification - Claims 1-5",
"file": "pages/current-cumulative-verification/page.md",
"children": []
},
{
"slug": "current-claim-3-celeba-verification",
"title": "Current verification - Claim 3 CelebA",
"file": "pages/current-claim-3-celeba-verification/page.md",
"children": []
},
{
"slug": "current-claim-4-molecular-verification",
"title": "Current verification - Claim 4 molecular",
"file": "pages/current-claim-4-molecular-verification/page.md",
"children": []
},
{
"slug": "executive-summary",
"title": "Executive summary",
"file": "pages/executive-summary/page.md",
"children": []
},
{
"slug": "claim-1-exact-logical-guidance",
"title": "Claim 1 — exact logical guidance",
"file": "pages/claim-1-exact-logical-guidance/page.md",
"children": []
},
{
"slug": "claim-1-sufficient-conditions",
"title": "Claim 2 — sufficient conditions",
"file": "pages/claim-1-sufficient-conditions/page.md",
"children": []
},
{
"slug": "claim-2-paper-range-audit",
"title": "Claim 2 - paper-range audit",
"file": "pages/claim-2-paper-range-audit/page.md",
"children": []
},
{
"slug": "claim-3-celeba-release-audit",
"title": "Historical rejected baseline - Claim 3 CelebA release audit",
"file": "pages/claim-3-celeba-release-audit/page.md",
"children": []
},
{
"slug": "claim-4-recovered-molecular-pipeline",
"title": "Historical rejected baseline - Claim 4 recovered molecular pipeline",
"file": "pages/claim-4-recovered-molecular-pipeline/page.md",
"children": []
},
{
"slug": "claim-5-completeness-certificate",
"title": "Claim 5 - completeness certificate",
"file": "pages/claim-5-completeness-certificate/page.md",
"children": []
},
{
"slug": "claim-6-source-scale-cmnist-classifier",
"title": "Source-scale CMNIST classifier",
"file": "pages/claim-6-source-scale-cmnist-classifier/page.md",
"children": []
},
{
"slug": "claim-7-methods-environment",
"title": "Methods & environment",
"file": "pages/claim-7-methods-environment/page.md",
"children": []
},
{
"slug": "claim-8-negative-controls-falsification",
"title": "Negative controls & falsification",
"file": "pages/claim-8-negative-controls-falsification/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 4906,
"revision": "1784509544788627000"
}
|