符号推理器

文章背景
大型语言模型（如 GPT-4）在自然语言理解和生成方面表现出色，例如对话问答、代码生成等。