安全芯片插入:强制 LLM 驱动的机器人代理遵守限制

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

该研究提出了一种基于线性时态逻辑的可查询安全约束模块,用于机器人代理的合规性。实验证明该系统适用于复杂的安全约束,具备实际应用潜力。

🏷️

标签

➡️

继续阅读