3 papers
cs.AI2026
ContractRL: Shielded Group-Relative Policy Optimization for Auditable Tool-Call Repair
Miaobo Hu, Shuhao Hu, Xiaobo Guo +5
Structured tool calls often fail after only a small number of fields violate a schema or an execution contract. Regenerating the complete object enlarges the action surface and mak…
cs.CR2026
Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing
Miaobo Hu, Shuhao Hu, Xiaobo Guo +5
Tool-using agents can expose citations and execution logs while leaving a critical association unaudited: whether the claim shown to a user is the claim emitted by the committed ex…
cs.AI2026
ECPO: Evidence-Coupled Policy Optimization for Verifier-Audited Candidate Ranking
Miaobo Hu, Shuhao Hu, BoKun Wang +5
Ranking systems used for decision support should expose evidence that can be audited independently of the model's ranking scores. We study a closed-roster setting in which a policy…