arXiv cs.RO 机器人学· Weizhe Xu, Jialiang Fan, Mengyu Liu, Fanxin Kong·2026-10-09 12:00· 2 小时前AI 评分47

SafeInferCom：通过验证器引导的生成中干预实现机器人任务规划的安全推理时计算

SafeInferCom: Safe Inference-Time Compute via Verifier-Guided Mid-Generation Intervention for Robotic Task Planning

AI 导读

SafeInferCom 提出一种形式化验证器引导框架，在不打断原始解码轨迹的前提下暴露并校验中间计划，保留有效中间计划并引导生成过程中的错误修正。