Verify Claims, Not Scores: Evidence-Based Verification of Modular Agents
When developers change one component of an agent, such as its controller, a learned model or its verifier, they usually judge the change by an aggregate task score. That score cannot tell whether improvement was attainable, which component lost value, or what the agent's own checks certify. We introduce a claim-specific verification audit for modular agents that plan, act, check and refine.…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.