@misc{indiciae08219f553b48,
  title = {ContractEval: Query-Conditioned Execution Matching for Procedural Instruction Conformance},
  author = {Praphul Singh and Shanu Kumar and Akshat Agarwal and Ganesh Kumar},
  year = {2026},
  url = {https://arxiv.org/abs/2609.09458},
  note = {Source identifier: 2609.09458}
}