The Verifier Tax: Safety–Success Tradeoffs in Tool-Using LLM Agentsdl.acm.org2 pointstanmaysah9 days ago