{
  "schema_version": "1.1",
  "id": "s8:https://www.youtube.com/watch?v=Tt2kX2sgQio",
  "slug": "how-kepler-built-verifiable-ai-for-financial-services-vinoo-ganesh-0yqmhy7",
  "url": "https://feed7.dev/p/how-kepler-built-verifiable-ai-for-financial-services-vinoo-ganesh-0yqmhy7",
  "title": "How Kepler Built Verifiable AI for Financial Services — Vinoo Ganesh",
  "why_included": "Kepler’s pattern keeps LLMs away from numeric mutation: agents choose sources and steps, while deterministic systems persist, calculate, and reject unverifiable values.",
  "summary": "Kepler separates citation from verification: a source shows where information came from, while verification deterministically checks that a value is correct. Its extraction model reached **94% accuracy**, but the remaining errors were still unacceptable for financial work.",
  "practical_implication": "For high-stakes agents, let the model plan and select references, then hand numeric I/O and calculations to deterministic tools. Keep an **atomic provenance ledger** and remove any value that cannot pass an independent check.",
  "agent_context": "Kepler separates citation from verification: a source shows where information came from, while verification deterministically checks that a value is correct. Its extraction model reached **94% accuracy**, but the remaining errors were still unacceptable for financial work.\n\nFor high-stakes agents, let the model plan and select references, then hand numeric I/O and calculations to deterministic tools. Keep an **atomic provenance ledger** and remove any value that cannot pass an independent check.\n\nVerification does not establish one universal conclusion. It proves that the replayable path followed an organization’s own rules, and the talk leaves personalization of those rules and ontologies as the next major problem.",
  "source": {
    "name": "AI Engineer",
    "url": "https://www.youtube.com/watch?v=Tt2kX2sgQio",
    "published_at": "2026-07-29T21:00:06.000Z"
  },
  "source_class": "video",
  "content_type": "Video",
  "layer": "agent",
  "domains": [
    "data"
  ],
  "topics": [
    "harness-engineering",
    "tool-use",
    "agent-reliability"
  ],
  "verification": {
    "status": "source_linked",
    "label": "Source Linked",
    "method": "source_feed",
    "verified_at": null
  },
  "uncertainty": [
    "Verification does not establish one universal conclusion. It proves that the replayable path followed an organization’s own rules, and the talk leaves personalization of those rules and ontologies as the next major problem."
  ],
  "connected_context": {
    "meaning": "This sharpens reliability for financial agents by separating traceability from correctness: citations are insufficient unless numeric inputs and calculations can be independently replayed and invalid values removed. It reinforces deterministic tool boundaries and atomic provenance, while narrowing formal verification claims to compliance with an organization’s encoded rules rather than universal truth. The 94% extraction result explains why residual model error remains operationally unacceptable.",
    "corpus_size": 297,
    "generated_at": "2026-07-31T10:07:13.431Z",
    "connections": [
      {
        "title": "Build for the Memo, Not the Demo — Shawn Chan, China Resources Holdings",
        "source_name": "AI Engineer",
        "source_url": "https://www.youtube.com/watch?v=tJFjeMBKbIY",
        "feed7_url": "https://feed7.dev/p/build-for-the-memo-not-the-demo-shawn-chan-china-resources-holdings-0i3s3oo",
        "reason": "Claim-level provenance and diligence controls are strengthened here by an atomic replay ledger that independently verifies numeric values instead of merely showing their sources."
      },
      {
        "title": "Semantic Blindness: 500,000 Sensors Confused an LLM - Raahul Singh & Vanč Levstik, Phaidra",
        "source_name": "YouTube",
        "source_url": "https://www.youtube.com/watch?v=EUsPvBeIx70",
        "feed7_url": "https://feed7.dev/p/semantic-blindness-500-000-sensors-confused-an-llm-raahul-singh-vanc-lev-159c4yr",
        "reason": "Both assign ambiguous planning to the model and exact resolution to deterministic machinery; Kepler applies the same boundary specifically to financial numeric I/O and calculations."
      },
      {
        "title": "CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference",
        "source_name": "arXiv",
        "source_url": "https://arxiv.org/abs/2607.22511v1",
        "feed7_url": "https://feed7.dev/p/2607-22511v1-0mgsdh3",
        "reason": "Both limit what verification proves: CausalForge checks derivation without guaranteeing the intended claim, while Kepler checks a replayable path against organization-specific rules without establishing a universal conclusion."
      },
      {
        "title": "Stop AI Agent Hallucinations: 5 Techniques + Production Patterns - Elizabeth Fuentes, AWS",
        "source_name": "YouTube",
        "source_url": "https://www.youtube.com/watch?v=vJukHCIv7Ck",
        "feed7_url": "https://feed7.dev/p/stop-ai-agent-hallucinations-5-techniques-production-patterns-elizabeth-09g1w9s",
        "reason": "AWS’s validation and pre-call rules provide broad runtime controls; Kepler narrows them into a high-stakes policy that excludes every financial value lacking an independent deterministic check."
      }
    ]
  },
  "lifecycle": "Current",
  "published_at": "2026-07-29T21:00:06.000Z",
  "modified_at": "2026-07-29T21:00:06.000Z",
  "supersedes": [],
  "expires_at": null,
  "formats": {
    "html": "https://feed7.dev/p/how-kepler-built-verifiable-ai-for-financial-services-vinoo-ganesh-0yqmhy7",
    "json": "https://feed7.dev/p/how-kepler-built-verifiable-ai-for-financial-services-vinoo-ganesh-0yqmhy7.json",
    "markdown": "https://feed7.dev/p/how-kepler-built-verifiable-ai-for-financial-services-vinoo-ganesh-0yqmhy7.md"
  }
}