Sign inGet started
Paper · arXiv

Not Self-Decidable: LLMs Cannot Draw the Boundary of What an Agent Verifier Can Check

A verifier for an agent faces rules of two kinds: the ones a fixed check can settle and the ones that require a judge. A team that derives its own checks fixes that split up front. Where the requirements come from outside, as in finance, healthcare and law, the agent enforces rules it did not write, so the split falls to runtime, recurring for every predicate of every rule on every action at a rate no reviewer can audit. Every escalation scheme assumes a model can make that decision itself, that it is self-decidable. Across six corpora, including the EU AI Act, FINRA guidance and a deployed credit agent, we collect roughly 22,000 labels from four models built by three labs. They agree alm...

AuthorsAnthony Rhodes
Primary categorycs.AI
Published3 October 2026
Last updated at source3 October 2026
cs.AIcs.CLcs.CR
Embed this entry
<iframe src="https://silytics.si/embed/item/dd475fbc-ccc7-4bba-8d10-690a534f8ebe" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

0 now. Counts as reported by the source, snapshotted daily by Silytics.

Silytics shows public metadata from arXiv and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.