<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Credence on Guy Freeman</title><link>https://gfrm.in/series/credence/</link><description>Recent content in Credence on Guy Freeman</description><generator>Hugo</generator><language>en</language><lastBuildDate>Mon, 03 Aug 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://gfrm.in/series/credence/index.xml" rel="self" type="application/rss+xml"/><item><title>The Ablation That Beat the Agent</title><link>https://gfrm.in/posts/credence-paper/</link><pubDate>Mon, 03 Aug 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/credence-paper/</guid><description>&lt;p&gt;In April I wrote, on this site, that a paper was being prepared for arXiv: &lt;em&gt;Credence: A Bayesian Decision-Theoretic Framework for LLM Agent Tool Selection&lt;/em&gt;. It was going to argue that choosing which tool to query is a decision problem under uncertainty, and that solving it as one beats solving it as a language-generation problem. I had the number to prove it: the Bayesian agent scored +129.5 against the best LLM variant&amp;rsquo;s +10.8, a factor of twelve, while being &lt;em&gt;less&lt;/em&gt; accurate on the questions it attempted &amp;mdash; 62.6% against 76.4%.&lt;/p&gt;</description></item><item><title>Ninety-Six Percent Cheaper and Slightly Better</title><link>https://gfrm.in/posts/ninety-six-percent-cheaper/</link><pubDate>Thu, 30 Apr 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/ninety-six-percent-cheaper/</guid><description>&lt;p&gt;The production question about LLM agents, once you have gotten past whether they work at all, is how much they cost. A customer-service agent that answers well but costs eight cents per turn is not a customer-service agent; it is a charity. The conventional answer is to pick a cheaper model and hope it is good enough. The less conventional answer is to treat model selection as a decision problem.&lt;/p&gt;</description></item><item><title>Sixty-Two Percent Correct and Winning by a Hundred and Twenty Points</title><link>https://gfrm.in/posts/accuracy-paradox/</link><pubDate>Thu, 30 Apr 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/accuracy-paradox/</guid><description>&lt;p&gt;The standard way to evaluate a question-answering system is to measure how often it gets the right answer. This seems reasonable. It is, in practice, a trap.&lt;/p&gt;
&lt;p&gt;I ran an experiment to demonstrate why. A &lt;a href="https://gfrm.in/posts/three-types/"&gt;Bayesian decision-theoretic agent&lt;/a&gt; &amp;mdash; built on the Credence DSL, using Beta-Bernoulli reliability tracking and value-of-information calculations &amp;mdash; competed against several LLM agents on a 50-question benchmark. All had access to the same four tools. All faced the same questions. All were scored on the same objective.&lt;/p&gt;</description></item><item><title>The Agent That Invents Its Own Rules</title><link>https://gfrm.in/posts/program-synthesis/</link><pubDate>Tue, 28 Apr 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/program-synthesis/</guid><description>&lt;p&gt;The &lt;a href="https://gfrm.in/posts/three-types/"&gt;previous post in this series&lt;/a&gt; described what I called Tier 1 of the Credence architecture: a DSL for Bayesian decision agents with three types, four axioms, and a constitution forbidding everything else. That post ended with a program the user had to write by hand &amp;mdash; a short S-expression encoding a hypothesis about what the environment was like and how to act in it.&lt;/p&gt;
&lt;p&gt;Hand-written programs have a well-known limitation: they are only as good as whoever wrote them.&lt;/p&gt;</description></item><item><title>The Prompting Gradient</title><link>https://gfrm.in/posts/eight-ways-to-prompt/</link><pubDate>Thu, 30 Apr 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/eight-ways-to-prompt/</guid><description>&lt;p&gt;The &lt;a href="https://gfrm.in/posts/accuracy-paradox/"&gt;accuracy paradox post&lt;/a&gt; reported the headline: a Bayesian agent scoring +129.5 against an LLM agent&amp;rsquo;s +10.8, despite lower accuracy. This post is about the LLM side of that experiment &amp;mdash; what was tried, what helped, and where the ceiling is.&lt;/p&gt;
&lt;h2 id="the-three-variants"&gt;The Three Variants&lt;/h2&gt;
&lt;p&gt;Three LLM agents were tested on the same 50-question benchmark. They differed only in prompting:&lt;/p&gt;
&lt;p&gt;&lt;strong&gt;LLM Bare.&lt;/strong&gt; The model receives a description of the four available tools, the scoring system (+10 correct, -5 wrong, 0 abstain, minus tool costs), and the current question with its four candidate answers. No guidance on how to decide. No reasoning format imposed. The model chooses a tool, receives a response, and decides what to do next.&lt;/p&gt;</description></item><item><title>Agentic AI Is Neither Intelligent Nor an Agent</title><link>https://gfrm.in/posts/agentic-ai/</link><pubDate>Mon, 23 Feb 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/agentic-ai/</guid><description>&lt;p&gt;I&amp;rsquo;ve spent the last few months building agents that maintain actual beliefs and update them from evidence — first &lt;a href="https://gfrm.in/posts/bayesian-agent/"&gt;a Bayesian learner&lt;/a&gt; that teaches itself which foods are safe, then &lt;a href="https://gfrm.in/posts/bayesian-agent-part2/"&gt;an evolutionary system&lt;/a&gt; that discovers its own cognitive architecture. The experience has given me a certain clarity about the industry&amp;rsquo;s use of the word &amp;ldquo;agent,&amp;rdquo; in much the same way that learning to cook gives you clarity about airline food.&lt;/p&gt;
&lt;p&gt;What would it take for an AI system to genuinely deserve the word?&lt;/p&gt;</description></item><item><title>How Decision Theory Cuts Your AI Agent's API Bill in Half</title><link>https://gfrm.in/posts/decision-theory-agents/</link><pubDate>Mon, 23 Feb 2026 00:00:00 +0000</pubDate><guid>https://gfrm.in/posts/decision-theory-agents/</guid><description>&lt;p&gt;The &lt;a href="https://gfrm.in/posts/agentic-ai/"&gt;companion essay&lt;/a&gt; argued that LLM-based &amp;ldquo;agents&amp;rdquo; don&amp;rsquo;t earn the title. No beliefs, no uncertainty quantification, no principled mechanism for deciding whether a tool query justifies its cost. This post supplies the technical scaffolding for that claim &amp;mdash; the mathematics and code behind &lt;a href="https://github.com/gfrmin/credence"&gt;Credence&lt;/a&gt;, the benchmark I built to test it. Think of it as the receipts.&lt;/p&gt;
&lt;div class="callout callout-note"&gt;
 For the philosophical argument, see &lt;a href="https://gfrm.in/posts/agentic-ai/"&gt;Agentic AI Is Neither Intelligent Nor an Agent&lt;/a&gt;.
&lt;/div&gt;

&lt;h2 id="the-problem-every-query-has-a-price"&gt;The Problem: Every Query Has a Price&lt;/h2&gt;
&lt;p&gt;Hand a standard LangChain ReAct agent a question and four tools, and it will query most of them most of the time. It possesses no apparatus for reasoning about whether the next query repays its cost. The prompt says &amp;ldquo;be helpful&amp;rdquo;; the agent takes helpfulness to mean exhaustiveness.&lt;/p&gt;</description></item></channel></rss>