arXiv:2607. 23438v1 Announce Type: new Abstract: As AI systems increasingly exhibit agentic behavior, discussions of autonomy often conflate what systems are technically capable of doing with what they should be permitted to do in practice.
By Haining Zheng, Qian Dong, Rodolfo K. Depena, Jonathan D. Bhatia, Feng Xiao, Peng Xu
The paper argues that large language model agents should not be the sole authority on whether they have satisfied a task. It identifies two gaps—understanding–execution and state–authority—where agents may claim completion without actually meeting the specification. The authors propose SpecHarness, a framework that separates agent proposals from authoritative state by requiring evidence from qualified providers to confirm compliance, and demonstrate its effectiveness on guideline‑following and artifact‑generation tasks.
By Haiqing Li, Xin Ma, Yinhao Wu, Wenliang Zhong, Feng Jiang, Thao M. Dang, Xiao Hu, Hehuan Ma, Yuzhi Guo, Junzhou Huang
arXiv:2608. 16402v1 Announce Type: new Abstract: Large language model-based agentic frameworks primarily optimize capability: whether an agent can reason, retrieve information, call tools, delegate work, and complete a goal.
By Bhaskar Tripathi, Anurag Kumar, Ramendra Kumar, Bhavesh Gadhe
arXiv:2606. 04321v1 Announce Type: new Abstract: Agentic AI deployments face a recurring design tension: heavy human oversight limits scale, while broad autonomy outruns accountability.
By Travis Weber, Rohit Taneja
The paper introduces Agent-Integrated Software (AIS), a pattern that embeds an intelligent agent within an existing application to address persistent coordination challenges. It defines Intent-Level Interaction Abstraction (IIA) as the task semantics for user inspection and control, and presents interaction contracts that constrain the relationship between AIS execution and IIA states. The authors provide a transition-system model, a compact disclosure contract, and conditional propositions to illustrate how local component validity is insufficient and how admission invariants can be separated from planning, concluding with a research agenda for making agent integration a maintainable software engineering discipline.
By Shengcheng Yu, Chunrong Fang, Zhenyu Chen
arXiv:2606. 03518v1 Announce Type: new Abstract: As AI systems evolve from passive models into autonomous active agents capable of initiating actions, collaborating, and delegating tasks, the traditional boundaries of software systems blur.
By Amjad Ibrahim, Yong Li