通过大型语言模型提案和符号验证进行机器人规划 | Synapse