论文

本文设计了一种自适应随机谈判策略，同时保证行为差分隐私、报价序列的几乎处处收敛以及较高的谈判效用，并证明在获得强隐私保证的同时不会带来显著的性能损失。This paper designs an adaptive stochastic negotiation policy that jointly guarantees behavioral differential privacy, almost-sure convergence of the offer sequence, and high negotiation utility, and demonstrates that strong privacy guarantees can be achieved without significant loss of performance.

本文提出 FlashRT，一种 Agent Harness，引导编码 Agent 将开发者编写的简易参考实现提升为优化的多 GPU 部署，并可灵活权衡时延与吞吐量等目标指标，证明在专家优化尚不成熟的平台上，由 Agent 驱动的优化具有更高的可扩展性。FlashRT is presented, an agent harness that guides coding agents to lift simple developer-written reference implementations into optimized multi-GPU deployments that flexibly weigh target metrics like latency and throughput, demonstrating that agent-driven optimization can be more scalable on platforms with less mature expert optimization.

本文提出 HACO，一种运行时控制方案，将每次角色请求视为在候选 agent 实例上的可靠性约束选择问题，每个候选实例耦合了角色类型、LLM 与具体执行环境。HACO is proposed, a runtime control scheme that treats each role request as a reliability-constrained selection problem over candidate agent instances, each coupling a role type, an LLM, and a concrete execution environment.

本文提出一个框架，将静态的单轮任务转化为动态多轮对话，其中用户意图在多轮间持续演化，同时保留每个任务原有的评估协议，使现有基准能够在无需新增标注的情况下作为受控测试平台被复用。This work introduces a framework that transforms static, single-turn tasks into dynamic multi-turn conversations in which the user's intent evolves across turns, while preserving each task's original evaluation protocol, enabling existing benchmarks to be reused as controlled testbeds without new annotation.

提出 Multi-Head Latent Control，一种轻量级层，读取冻结 LLM 或 VLM 的隐状态轨迹以生成部署时的控制信号，从而支持从部分生成的提前交接，并在多模型系统中实现更准确的干预决策。Multi-Head Latent Control is introduced, a lightweight layer that reads hidden-state trajectories from a frozen LLM or VLM to produce deployment-time control signals, enabling early handoff from partial generations and more accurate intervention decisions in multi-model systems.

研究表明，当冻结模型与外部记忆配合、且该记忆将每个 episode 提炼为可检索的自然语言规则时，反馈信号足以支撑持续学习。It is shown that feedback is a sufficient signal for continual learning when the frozen model is paired with an external memory that distils each episode into retrievable natural-language rules when the frozen model is paired with an external memory.

将文件系统的默认设置转化为 agent memory 的设计空间，证明模型并非塑造 store 形态的唯一杠杆：仅调整工具集即可以与更换模型相当的力度重塑 store。The study turns the filesystem default from an assumption into a design space for agent memory, and turns the model is not the only lever over a store's shape: changing the tool set alone reshapes the store as strongly as swapping the model.

本综述旨在厘清自进化 coding agent 的概念边界，为设计更具适应性、可靠性与软件感知能力的 agentic 系统奠定基础。This survey aims to clarify the conceptual boundaries of self-evolving coding agents and provide a foundation for designing more adaptive, reliable, and software-aware agentic systems.

一个持久化执行状态、使运行可被中断、能在崩溃后存活并继续的框架，必须为已经触发的副作用界定"恢复"的含义。五种广泛部署的 Agent 工作流框架给出了不同答案，且均未公开可机器验证的契约，其行为甚至违背了它们自己声明的片段。RESUME CONTRACT 针对持久化 API 陈述了六项性质（前缀延续、副作用恰好一次、分支确定性、检查点有效性、消费一次、恢复确定性），并附加分支意图与活性义务。TLA+ 模型对参考语义进行了检验……A framework that persists execution state so a run can be interrupted, survive a crash, and continue must decide what a resume means for effects that already fired. Five widely deployed agent workflow frameworks answer differently, none exposes a machine-checkable contract, and behavior violates even the fragments they state. The RESUME CONTRACT states six properties over the persistence API (prefix continuation, effect exactly-once, fork determinism, checkpoint validity, consume-once, recovery determinism), plus fork-intent and liveness obligations. A TLA+ model checks a reference semantics e

两个维度之间的取舍在于：操作者事先能承诺的内容越少，所得到的保证就越不确定——极端情况下就只能求助于人工。The trade-off across both planes is that the less an operator can commit to in advance, the less deterministic the resulting guarantee, down to asking a human.

将一个确定性、无模型的流水线编译进 Agent 记忆：该流水线将本地采集流切分为类型化的活动帧与有界事件片段，携带应用、站点、时间、输入量以及回指原始行的证据指针，全程无模型参与。A deterministic, zero-model pipeline is compiled into agent memory with a deterministic, zero-model pipeline that segments a local capture stream into typed activity frames, bounded episodes carrying application, site, timing, input volume, and evidence pointers back to the raw rows, with no model in the loop.

所提架构通过提供模块化、面向实现的具身认知能力 IVA 部署框架，弥合高层智能体推理模型与实时具身执行之间的鸿沟，助力在复杂交互虚拟环境中构建可扩展、自适应且可解释的智能体。The proposed architecture contributes by providing a modular, implementation-oriented framework for the deployment of embodied, cognitive-capable IVAs and bridges the gap between high-level agent reasoning models with real-time embodied execution, for scalable, adaptive, and explainable agents in complex interactive virtual environments.

VeriForge 是一种混合主动写作系统，通过划分认知劳动，使系统在领域发现上承担主动权，而作者保留对叙事合成的完全主动权；在受控的冷启动写作任务中，专家评审者认为其产出在领域扎根方面更强。VeriForge is a mixed-initiative writing system that divides cognitive labor so that the system assumes initiative over domain discovery while the author retains full initiative over narrative synthesis, and is perceived by expert raters to produce passages with stronger domain grounding in a controlled cold-start writing task.

SKILLER 是一个由自然语言驱动的强化学习框架，旨在为小模型自动生成执行器特定的 skills，使用强模型作为 actor 和 critic，将小模型 Agent 系统视为环境，并通过自然语言完全传递所有强化学习信号。SKILLER is a natural-language-driven reinforcement learning framework designed to automatically generate executor-specific skills for small models, which employs a strong model as the actor and critic, treats the small-model agent system as the environment, and propagates all reinforcement learning signals entirely via natural language.

提出一种 chunked-prefill 策略，可缓解由此带来的内存容量惩罚，在 32 GiB 共享内存上将允许的上下文宽度扩展 $2.7 \times$，但即便降低了内存开销，仍需打补丁才能使 Nanbeige4.2-3B 可用。A chunked-prefill strategy is introduced which alleviates the incurred memory-capacity penalty, extending allowable context width by $2.7 \times$ on 32~GiB shared memory, however, even with the reduced memory overhead, it is shown that patches are required to render Nanbeige4.2-3B usable.