pal
PaL(Program-Aided Language Models)是一个创新的开源框架,旨在提升大语言模型在处理复杂算术和逻辑推理任务时的准确性。传统模型仅靠生成文本进行推理时,常因计算失误或逻辑跳跃导致错误;PaL 巧妙地让模型生成“文本 + 代码”混合的推理链,并将代码部分交给 Python 解释器执行,从而将复杂的计算过程外包给可靠的程序运行时,确保结果精准。
这一方法特别适合 AI 研究人员、开发者以及需要解决高难度数学应用题、日期推理或多步骤逻辑问题的技术团队使用。其核心亮点在于“代码即推理”的理念:模型不再试图凭空算出答案,而是编写可执行的 Python 代码来求解,既保留了语言模型的灵活性,又利用了编程语言的严谨性。项目提供了交互式接口和多种评测脚本,支持包括 Code Davinci 和 ChatGPT 在内的多种后端,并发布了更具挑战性的 GSM-Hard 数据集以推动领域发展。无论是想复现 ICML 2023 论文成果,还是希望构建更可靠的推理系统,PaL 都提供了一个简洁高效的实现方案。
使用场景
某教育科技公司的算法工程师正在开发一款能自动批改小学高年级复杂应用题的 AI 助教系统。
没有 pal 时
- 计算准确率低下:纯文本大模型在处理多步混合运算(如分数、百分比嵌套)时,常因“幻觉”导致中间步骤计算错误,最终答案离谱。
- 逻辑链条断裂:面对长题干,模型难以在纯文本生成中保持严密的变量追踪,容易遗漏关键约束条件或搞错运算顺序。
- 调试与验证困难:生成的解题过程全是自然语言,无法通过程序自动验证每一步的正确性,人工复核成本极高。
- 复杂场景泛化差:一旦题目涉及动态变量或需要迭代计算(如复利、行程问题),模型往往直接放弃或胡编乱造。
使用 pal 后
- 执行零误差:pal 引导模型将推理过程转化为可执行的 Python 代码,利用解释器进行精确算术运算,彻底消除了计算幻觉。
- 逻辑结构化:通过将解题思路映射为代码变量和函数调用,强制模型理清依赖关系,确保多步推理的逻辑严密性。
- 结果自动校验:代码运行即验证,系统可直接捕获运行时错误或断言失败,快速定位逻辑漏洞,大幅降低人工审核压力。
- 攻克高难题型:借助代码的循环与条件判断能力,pal 能轻松解决涉及复杂迭代和状态变化的数学难题,显著提升通过率。
pal 的核心价值在于将大模型的语义理解优势与传统编程语言的精确执行能力完美结合,让 AI 从“只会说”进化为“既能想又能算”。
运行环境要求
- 未说明
不需要本地 GPU(基于 OpenAI API 调用,计算在云端进行)
未说明

快速开始
PaL: 程序辅助语言模型
用于论文 PaL: 程序辅助语言模型 的代码库。
在 PaL 中,大型语言模型通过生成包含 文本和代码 的推理链来解决涉及复杂算术和程序化任务的推理问题。这样可以将代码的执行工作交由程序运行时环境完成,在我们的案例中是 Python 解释器。在论文中,我们采用少样本提示的方式实现了 PaL。
该仓库提供了 PaL 的交互式实现。
新闻 📢
[2023年3月] 我们增加了对 ChatGPT API(例如 gpt-3.5-turbo)的支持。我们预计这将使 PaL 在 Codex API 停止服务后能够平稳过渡。请查看用于数学推理的测试版脚本 scripts/gsm_chatgpt.py。
[2023年1月] 我们发布了 GSM-hard,这是我们创建的 GSM8k 更难版本。它也在 Huggingface 🤗 上提供。
import datasets
gsm_hard = datasets.load_dataset("reasoning-machines/gsm-hard")
安装
克隆此仓库并使用 pip 进行安装。
git clone https://github.com/luyug/pal
pip install -e ./pal
在运行脚本之前,请设置 OpenAI 密钥:
export OPENAI_API_KEY='sk-...'
交互式使用
pal 包的核心组件是 Interface 类。具体来说,ProgramInterface 将语言模型后端、Python 后端和用户提示连接起来。
import pal
from pal.prompt import math_prompts
interface = pal.interface.ProgramInterface(
model='code-davinci-002',
stop='\n\n\n', # Codex API 的停止生成字符串
get_answer_expr='solution()' # 生成代码后评估以获取答案的 Python 表达式
)
question = 'xxxxx'
prompt = math_prompts.MATH_PROMPT.format(question=question)
answer = interface.run(prompt)
在这里,interface 的 run 方法会使用 OpenAI API 执行生成任务,运行生成的代码片段,然后评估 get_answer_expr(此处为 solution())以得到最终答案。
用户应根据提示设置 get_answer_expr。
推理循环
我们在 scripts/ 文件夹中提供了简单的推理循环。
mkdir eval_results
python scripts/{colored_objects|gsm|date_understanding|penguin}_eval.py
我们还提供了一个用于数学推理的 ChatGPT 专用测试版脚本。
python scripts/gsm_chatgpt.py
对于批量推理,我们使用了通用提示库 prompt-lib,并推荐将其用于在我们工作中使用的所有任务上进行 CoT 推理。
结果
有关结果的完整细节,请参阅 论文。
引用
@article{gao2022pal,
title={PAL: Program-aided Language Models},
author={Gao, Luyu and Madaan, Aman and Zhou, Shuyan and Alon, Uri and Liu, Pengfei and Yang, Yiming and Callan, Jamie and Neubig, Graham},
journal={arXiv preprint arXiv:2211.10435},
year={2022}
}
常见问题
相似工具推荐
everything-claude-code
everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上
NextChat
NextChat 是一款轻量且极速的 AI 助手,旨在为用户提供流畅、跨平台的大模型交互体验。它完美解决了用户在多设备间切换时难以保持对话连续性,以及面对众多 AI 模型不知如何统一管理的痛点。无论是日常办公、学习辅助还是创意激发,NextChat 都能让用户随时随地通过网页、iOS、Android、Windows、MacOS 或 Linux 端无缝接入智能服务。 这款工具非常适合普通用户、学生、职场人士以及需要私有化部署的企业团队使用。对于开发者而言,它也提供了便捷的自托管方案,支持一键部署到 Vercel 或 Zeabur 等平台。 NextChat 的核心亮点在于其广泛的模型兼容性,原生支持 Claude、DeepSeek、GPT-4 及 Gemini Pro 等主流大模型,让用户在一个界面即可自由切换不同 AI 能力。此外,它还率先支持 MCP(Model Context Protocol)协议,增强了上下文处理能力。针对企业用户,NextChat 提供专业版解决方案,具备品牌定制、细粒度权限控制、内部知识库整合及安全审计等功能,满足公司对数据隐私和个性化管理的高标准要求。
ML-For-Beginners
ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。
ragflow
RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。
PaddleOCR
PaddleOCR 是一款基于百度飞桨框架开发的高性能开源光学字符识别工具包。它的核心能力是将图片、PDF 等文档中的文字提取出来,转换成计算机可读取的结构化数据,让机器真正“看懂”图文内容。 面对海量纸质或电子文档,PaddleOCR 解决了人工录入效率低、数字化成本高的问题。尤其在人工智能领域,它扮演着连接图像与大型语言模型(LLM)的桥梁角色,能将视觉信息直接转化为文本输入,助力智能问答、文档分析等应用场景落地。 PaddleOCR 适合开发者、算法研究人员以及有文档自动化需求的普通用户。其技术优势十分明显:不仅支持全球 100 多种语言的识别,还能在 Windows、Linux、macOS 等多个系统上运行,并灵活适配 CPU、GPU、NPU 等各类硬件。作为一个轻量级且社区活跃的开源项目,PaddleOCR 既能满足快速集成的需求,也能支撑前沿的视觉语言研究,是处理文字识别任务的理想选择。
OpenHands
OpenHands 是一个专注于 AI 驱动开发的开源平台,旨在让智能体(Agent)像人类开发者一样理解、编写和调试代码。它解决了传统编程中重复性劳动多、环境配置复杂以及人机协作效率低等痛点,通过自动化流程显著提升开发速度。 无论是希望提升编码效率的软件工程师、探索智能体技术的研究人员,还是需要快速原型验证的技术团队,都能从中受益。OpenHands 提供了灵活多样的使用方式:既可以通过命令行(CLI)或本地图形界面在个人电脑上轻松上手,体验类似 Devin 的流畅交互;也能利用其强大的 Python SDK 自定义智能体逻辑,甚至在云端大规模部署上千个智能体并行工作。 其核心技术亮点在于模块化的软件智能体 SDK,这不仅构成了平台的引擎,还支持高度可组合的开发模式。此外,OpenHands 在 SWE-bench 基准测试中取得了 77.6% 的优异成绩,证明了其解决真实世界软件工程问题的能力。平台还具备完善的企业级功能,支持与 Slack、Jira 等工具集成,并提供细粒度的权限管理,适合从个人开发者到大型企业的各类用户场景。