TY  - RPRT
TI  - ContractEval: Query-Conditioned Execution Matching for Procedural Instruction Conformance
AU  - Praphul Singh
AU  - Shanu Kumar
AU  - Akshat Agarwal
AU  - Ganesh Kumar
PY  - 2026
UR  - https://arxiv.org/abs/2609.09458
ID  - 2609.09458
ER  -