SafeInferCom：验证器引导的机器人规划推理框架

Weizhe Xu 等作者提出 SafeInferCom，一个由形式化验证器引导的推理时计算框架，用于机器人任务规划。该框架在生成过程中暴露并验证中间规划，保留有效的中间计划并纠正错误，而非只在生成结束后校验。 实验显示，该框架在多个大推理模型和规划领域上，相比单次推理提升了规划成功率并加速纠错；与迭代精炼结合后，还能在提高成功率的同时减少 token 消耗。作者称该框架已在 VirtualHome 中评测，并提供了真实机械臂演示。

AI 根据报道生成 · 2 小时前更新

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