ContractEval: Query-Conditioned Execution Matching for Procedural Instruction Conformance
ContacTEVAL is a diagnostic framework for making procedural conformance auditable rather than implicit in final-answer quality, turning omissions, wrong branches, ordering errors, extra actions, invariant breaches, and output-contract violations into distinct conformance failures.
Praphul Singh, Shanu Kumar, Akshat Agarwal et al.
· 0 citations