NEXUS：联合学习安全约束与动作模型的具身规划框架

Tiehan Cui 等作者发布论文，提出神经符号框架 NEXUS，同时维护 PDDL 领域模型与 LTL 安全规范：用执行失败修复动作模式，并把检测到的危险转化为可复用的 LTL 约束。 在 SafeAgentBench 评测集上，作者报告 NEXUS 在安全任务完成与不安全任务拒绝之间取得最佳整体权衡，并在越狱攻击下保持低违规率；消融实验显示 PDDL 领域精化与 LTL 约束积累具有互补收益。上述评测结果均为论文作者的表述。

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

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