Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Not Self-Decidable: LLMs Cannot Draw the Boundary of What an Agent Verifier Can Check
Anthony Rhodes
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.…
cs.AI2026
Penumbra: Sample-Efficient Adversarial Search for Regulatory Obligations
Anthony Rhodes
Agents are entering finance, healthcare and law, sectors where a violation leaves no lexical signature and carries real penalties. Whether an omission is material, or a disclosure…