logbook.json

{
 "schema_version": 1,
 "title": "Repro - Evaluating Bivariate Causal Statements Based on Mutual Compatibility",
 "emoji": "\ud83c\udfaf",
 "space_id": "DineshAI/b3EvCd8sYE",
 "paper": "2606.00278",
 "tags": [
  "icml2026-repro",
  "paper-b3EvCd8sYE"
 ],
 "updated_at": "",
 "root": {
  "slug": "index",
  "title": "Repro - Evaluating Bivariate Causal Statements Based on Mutual Compatibility",
  "file": "pages/index.md",
  "children": [
   {
    "slug": "current-verification",
    "title": "Current verification run",
    "file": "pages/current-verification/page.md",
    "children": []
   },
   {
    "slug": "reproduce",
    "title": "Reproduce",
    "file": "pages/reproduce/page.md",
    "children": []
   },
   {
    "slug": "source-audit",
    "title": "Source audit",
    "file": "pages/source-audit/page.md",
    "children": []
   },
   {
    "slug": "claim1",
    "title": "Claim 1 \u2014 Lemma 2.3 \u2014 a unique induced multivariate SEM",
    "file": "pages/claim1/page.md",
    "children": []
   },
   {
    "slug": "claim2",
    "title": "Claim 2 \u2014 Theorem 2.9 \u2014 positive expected compatibility score",
    "file": "pages/claim2/page.md",
    "children": []
   },
   {
    "slug": "claim3",
    "title": "Claim 3 \u2014 Theorem 2.10 \u2014 polynomial sample complexity",
    "file": "pages/claim3/page.md",
    "children": []
   },
   {
    "slug": "claim4",
    "title": "Claim 4 \u2014 Figures 2 and 4 \u2014 synthetic and LLM compatibility scores",
    "file": "pages/claim4/page.md",
    "children": []
   },
   {
    "slug": "claim5",
    "title": "Claim 5 \u2014 NP-hardness of the exact incompatibility score",
    "file": "pages/claim5/page.md",
    "children": []
   },
   {
    "slug": "claim6",
    "title": "Claim 6 \u2014 Lemma 3.7 and Figures 5-7 \u2014 the heuristic incompatibility score",
    "file": "pages/claim6/page.md",
    "children": []
   },
   {
    "slug": "visibility-matrix",
    "title": "Visibility matrix",
    "file": "pages/visibility-matrix/page.md",
    "children": []
   },
   {
    "slug": "limitations",
    "title": "Limitations",
    "file": "pages/limitations/page.md",
    "children": []
   },
   {
    "slug": "overview",
    "title": "Overview (historical rejected baseline)",
    "file": "pages/overview/page.md",
    "children": []
   },
   {
    "slug": "claims",
    "title": "Claims (historical rejected baseline)",
    "file": "pages/claims/page.md",
    "children": []
   },
   {
    "slug": "evidence",
    "title": "Evidence (historical rejected baseline)",
    "file": "pages/evidence/page.md",
    "children": []
   },
   {
    "slug": "verification-run",
    "title": "Verification run (historical rejected baseline)",
    "file": "pages/verification-run/page.md",
    "children": []
   },
   {
    "slug": "conclusion",
    "title": "Conclusion (historical rejected baseline)",
    "file": "pages/conclusion/page.md",
    "children": []
   }
  ]
 }
}