研究者提出工具智能体审计执行契约

Miaobo Hu等作者提出一种以声明为锚点的执行契约，用于可回放的工具智能体审计。该契约将智能体输出的声明、对应的精确源文本片段、产生该声明的有序执行前缀，以及执行时观测到的源版本与访问状态联合绑定。作者称，确定性完整性验证器可在语义标签接入前重建这些绑定。 目前该工作以预印本形式发布，尚未见经同行评审验证的审计效果数据。

AI 根据报道生成 · 45 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。