{
  "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"
}