<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>LLM Verification on Cognaptus</title>
    <link>https://cognaptus.com/tags/llm-verification/</link>
    <description>Recent content in LLM Verification on Cognaptus</description>
    <generator>Hugo -- 0.145.0</generator>
    <language>en-us</language>
    <lastBuildDate>Fri, 13 Feb 2026 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://cognaptus.com/tags/llm-verification/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>No More ‘Trust Me, Bro’: Statistical Parsing Meets Verifiable Reasoning</title>
      <link>https://cognaptus.com/blog/2026-02-13-no-more-trust-me-bro-statistical-parsing-meets-verifiable-reasoning/</link>
      <pubDate>Fri, 13 Feb 2026 00:00:00 +0000</pubDate>
      <guid>https://cognaptus.com/blog/2026-02-13-no-more-trust-me-bro-statistical-parsing-meets-verifiable-reasoning/</guid>
      <description>A business-focused reading of how statistical parsing, typed grammar, and Logical Bayesian Networks could make enterprise AI answers more auditable without pretending LLMs have become theorem provers.</description>
    </item>
  </channel>
</rss>
