arXiv cs.AI· Kaiyuan Zheng, Fengqing Jiang, Yichen Feng, Zubin Aaron Assadian, Yuetai Li, Bhaskar Ramasubramanian, Basel Alomair, Luyao Niu, Radha Poovendran·· 2 天前AI 评分34
RAC：面向约束驱动工程任务的关系型智能体契约
RAC: A Relational Agent Contract for Constraint-Governed Engineering Tasks
AI 导读
研究者提出 RAC，一种与 harness 无关的工程智能体动作与反馈层契约，由智能体决定工件应满足的关系，专用工具推导具体几何或时序结果。
正文 · AI 翻译
摘要：工程智能体必须产出满足精确且相互耦合约束的工件。现有方案往往要求智能体做出语义决策，并同时从这些决策中推导出精确几何或时序等后果，导致在受约束支配的工程任务中失败。本文提出 RAC，一种面向工程智能体动作与反馈层的、与执行框架无关的契约。它规定了权威观测、语义动作、基于工具的实现、独立验证以及修复证据。智能体决定工件应满足哪些关系；专用工具推导其具体后果。在 PCB 布局、布线和修复任务上，RAC 在全部九个被评估模型中取得最高的一次通过率，平均为 90.9%，而最强基线（仅需求委托）为 74.0%。在作业车间调度中，直接关系动作的质量通过率为 96.3%，而使用相同调度后端的代码中介交付为 59.6%。我们在四个微控制器上的 141 个嵌入式代码任务上的评估表明，动作契约是智能体能力的一个来源：在保留语义控制的同时委托可机械推导的输出，可提高受约束工件的可靠性。
| 主题： | 人工智能（cs.AI） |
| 引用为： | arXiv:2610.20935 [cs.AI] |
| （或 arXiv:2610.20935v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.20935 arXiv 颁发的 DOI，经由 DataCite（待注册） |
提交历史
来自：Luyao Niu [查看邮箱]
[v1]
2026年10月14日星期三 21:02:57 UTC（1,794 KB）
来源：arXiv cs.AI · arxiv.org