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

arXiv:2610.04699v2 Announce Type: replace Abstract: 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