标签： 任务规划

语言理解归大模型，物理可行性归符号验证器。SDI三角色加两层失败恢复，在70条指令、十个基线中做到100%成功…