符号推理

研究者提出一种符号反馈驱动的迭代自优化框架，通过自然语言提示映射逻辑符号，结合符号验证器识别错误并生成修正指令，显著提升大语言模型在长期规划任务中的可行性与正确性。