arXiv AI
Sep 12

Agent-Integrated Software: Interaction Contracts and Continuous Assurance

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 AI
Oct 16

AgentEval: Evidence-Bounded Assessment of Stateful Agents

AgentEval is a system that tracks a contract-bound assessment record throughout a stateful agent’s tool execution, capturing state, events, and evidence to determine whether obligations are satisfied, violated, or unresolved. In 32 tool‑world administrations, independent checks confirmed all 30 complete episodes, while controlled interventions on 48 evidence views uncovered 36 binding faults that hash‑only checks missed. A public‑benchmark study on 192 held‑out executions identified ten completed subgoals within broader task failures and highlighted the impact of missing evidence on overall task success.

By Ruiqi Gao (Alibaba Cloud, Alibaba Group)