← 事件库 / AI Engineering

HEXIS 把 agent skill 编译成可检查的状态机

HEXIS 把 skill 指令与工具接口转换成扩展有限状态机。状态机会显式保存执行进度和中间数据,由转移条件决定下一步操作。基于轨迹的改动只有通过静态检查,并重放当前和全部历史验收轨迹后才能合入。论文在四个 benchmark、四种执行器上报告:相对 Skill + ReAct,平均成功率提高 16.1 个百分点;Qwen3.8-27B 的执行 token 减少 38.4% 至 88.9%。

本文来自既有扫描档案。迁移保留原判断,不代表在迁移时重新核验。

对你意味着什么

对维护流程型 agent skill 的团队来说,它提供了一条中间路线:比自由 prompt 可控,又不用把整套 workflow 手写成代码。可以先在合规要求高或容易漏步骤的 skill 上试验,但替换简单指令前,应测清编译维护成本和未覆盖路径的行为。

前沿观察

公开材料与效果验证,分开看。

已记录的事实是工作及其材料已公开。论文或作者报告的效果不自动等于独立复现。下一步关注可复用代码、任务设置和第三方验证。

证据与关联材料

背景材料 · 历史记录,未重新核验

HEXIS 把 skill 指令与工具接口转换成扩展有限状态机。状态机会显式保存执行进度和中间数据,由转移条件决定下一步操作。基于轨迹的改动只有通过静态检查,并重放当前和全部历史验收轨迹后才能合入。论文在四个 benchmark、四种执行器上报告:相对 Skill + ReAct,平均成功率提高 16.1 个百分点;Qwen3.8-27B 的执行 token 减少 38.4% 至 88.9%。

技术细节与六维评分
方法 把 skill 条款与工具编译为扩展有限状态机
验证 静态检查并重放全部已验收轨迹
评估 四个 benchmark、四种执行器
成功率提升 相对 Skill + ReAct 平均增加 16.1 个百分点
Token 降幅 Qwen3.8-27B 减少 38.4% 至 88.9%
产物 论文给出 ICLR 2027 匿名评审产物,但本次运行无法公开读取
技术影响 4
工程价值 4
采用信号 1
成熟度 2
验证成本 3
风险 2