AgentLens: The Code Agent Benchmark We've Been Waiting For
AgentLens, a new open-source benchmark for interactive code agents, evaluates not just task completion but also instruction-following, verification, and error recovery by blending formal verification …