3 papers
cs.SE2026
Agentic Interpretation: Harness-Governed Evidence Construction for Software Agents
Yifeng He, Yanjun Wang, Siwei Cui +2
Software agents answer behavioral questions about code, such as whether a patch passes tests or which lines caused a failure. These tasks require repository-wide evidence, yet most…
cs.PL2026
Beyond Natural Language: An Agent-Native Language for Autonomous Science
Yifeng He, Jiachen Liu
As autonomous AI agents take on every stage of scientific inquiry, research output is expanding far beyond human review capacity. Yet scientific communication still relies on natur…
cs.CR2026
BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure
Shenghan Zheng, Zonglin Di, Yimin Liu +19
LM-agent benchmarks increasingly function as interactive evaluation infrastructure. Agents observe state, call tools, modify workspaces, submit artifacts, and receive rewards from…