LLM-模块化框架将大语言模型与外部验证器结合，扩展了基于模型的规划/推理范围。

大语言模型在规划和推理任务中的作用有混淆。提出了LLM-模块化框架的愿景，将LLM的优势与外部验证器结合。展示了如何利用LLM驱动外部验证器的模型。LLM-模块化框架提供了更好的神经符号方法，扩展了基于模型的规划/推理范围。