@misc{indiciae925b8e9be1e9,
  title = {BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure},
  author = {Shenghan Zheng and Zonglin Di and Yimin Liu and Kyoung Whan Choe and Jiankai Sun and Heguang Lin and Penghao Jiang and Yifeng He and Xiao Cheng and Jicheng Wang and Wenbo Chen and Alex Yates and Yinzhe Zhao and Bingran You and Yuan Gao and Ayush Munot and Shubham Gaur and Zhe Ye and Hao Wang and Xiangyi Li and Dawn Song and Christophe Hauser},
  year = {2026},
  url = {https://arxiv.org/abs/2609.11028},
  note = {Source identifier: 2609.11028}
}