{
  "schema_version": "1.0",
  "id": "s13:https://arxiv.org/abs/2607.22511v1",
  "slug": "2607-22511v1-0mgsdh3",
  "url": "https://feed7.dev/p/2607-22511v1-0mgsdh3",
  "title": "CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference",
  "why_included": "CausalForge pairs a Lean-verified causal-inference library with an autonomous research pipeline and a semantic statement audit. Formal proof checks derivation, not whether the theorem matches the intended claim.",
  "summary": "CausalForge combines **7,035 machine-checked declarations** in the Causalean Lean library with CausalSmith, an agent pipeline that selects topics, proposes results, formalizes statements, builds proofs, and presents artifacts for review.",
  "practical_implication": "Builders of research agents should separate mechanical validity from semantic validity. The framework uses Lean for proof checking and a **statement audit** to compare each formal theorem with the informal scientific claim it is meant to encode.",
  "agent_context": "CausalForge combines **7,035 machine-checked declarations** in the Causalean Lean library with CausalSmith, an agent pipeline that selects topics, proposes results, formalizes statements, builds proofs, and presents artifacts for review.\n\nBuilders of research agents should separate mechanical validity from semantic validity. The framework uses Lean for proof checking and a **statement audit** to compare each formal theorem with the informal scientific claim it is meant to encode.\n\nA kernel-checked proof establishes only that a statement follows from its assumptions. It cannot establish that the formalization captures the right scientific question, so human inspection remains part of the presented workflow.",
  "source": {
    "name": "arXiv",
    "url": "https://arxiv.org/abs/2607.22511v1",
    "published_at": "2026-07-24T17:32:35.000Z"
  },
  "source_class": "blog_post",
  "content_type": "Paper",
  "layer": "agent",
  "domains": [
    "research",
    "data"
  ],
  "topics": [
    "harness-engineering",
    "agent-reliability",
    "reasoning"
  ],
  "verification": {
    "status": "needs_review",
    "label": "Needs Review",
    "method": "unverified",
    "verified_at": null
  },
  "uncertainty": [
    "A kernel-checked proof establishes only that a statement follows from its assumptions. It cannot establish that the formalization captures the right scientific question, so human inspection remains part of the presented workflow."
  ],
  "lifecycle": "Current",
  "published_at": "2026-07-24T17:32:35.000Z",
  "modified_at": "2026-07-24T17:32:35.000Z",
  "supersedes": [],
  "expires_at": null,
  "formats": {
    "html": "https://feed7.dev/p/2607-22511v1-0mgsdh3",
    "json": "https://feed7.dev/p/2607-22511v1-0mgsdh3.json",
    "markdown": "https://feed7.dev/p/2607-22511v1-0mgsdh3.md"
  }
}