papersSEP 10 04:00 UTC
ContractEval benchmark checks whether LLM agents follow procedural instructions correctly
Researchers introduced ContractEval, a benchmark that evaluates whether LLM agents actually perform the required steps when carrying out a procedure rather than just producing a plausible answer. It uses query-conditioned execution matching to surface hidden failures where a required check, branch, dependency, or invariant was omitted despite the final output appearing correct. The work targets gaps in output-only evaluation for agentic systems.