TY  - RPRT
TI  - BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure
AU  - Shenghan Zheng
AU  - Zonglin Di
AU  - Yimin Liu
AU  - Kyoung Whan Choe
AU  - Jiankai Sun
AU  - Heguang Lin
AU  - Penghao Jiang
AU  - Yifeng He
AU  - Xiao Cheng
AU  - Jicheng Wang
AU  - Wenbo Chen
AU  - Alex Yates
AU  - Yinzhe Zhao
AU  - Bingran You
AU  - Yuan Gao
AU  - Ayush Munot
AU  - Shubham Gaur
AU  - Zhe Ye
AU  - Hao Wang
AU  - Xiangyi Li
AU  - Dawn Song
AU  - Christophe Hauser
PY  - 2026
UR  - https://arxiv.org/abs/2609.11028
ID  - 2609.11028
ER  -