OAM1jJsMGp / logbook.json
DineshAI's picture
Publish cumulative exact-claim verification
ecf3aeb verified
Raw
History Blame Contribute Delete
3.54 kB
{
"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"
}