paper-with-me

Papers

PAL: Program-aided Language Models

2022-11-18 · Luyu Gao, Aman Madaan, Shuyan Zhou, Uri Alon, PengFei Liu, Yiming Yang, Jamie Callan, Graham Neubig

Large language models (LLMs) have recently demonstrated an impressive ability to perform arithmetic and symbolic reasoning tasks, when provided with a few examples at test time ("few-shot prompting"). Much of this success can be attributed to prompting methods such as "chain-of-thought'', which employ LLMs for both understanding the problem description by decomposing it into steps, as well as solving each step of the problem. While LLMs seem to be adept at this sort of step-by-step decomposition, LLMs often make logical and arithmetic mistakes in the solution part, even when the problem is decomposed correctly. In this paper, we present Program-Aided Language models (PAL): a novel approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural language problem into runnable steps remains the only learning task for the LLM, while solving is delegated to the interpreter. We demonstrate this synergy between a neural LLM and a symbolic interpreter across 13 mathematical, symbolic, and algorithmic reasoning tasks from BIG-Bench Hard and other benchmarks. In all these natural language reasoning tasks, generating code using an LLM and reasoning using a Python interpreter leads to more accurate results than much larger models. For example, PAL using Codex achieves state-of-the-art few-shot accuracy on the GSM8K benchmark of math word problems, surpassing PaLM-540B which uses chain-of-thought by absolute 15% top-1. Our code and data are publicly available at http://reasonwithpal.com/ .

📄 PDF Abstract BibTeX arXiv:2211.10435

Code (3)

RUCAIBox/LLMBox
allanj/dynamic-pal
srush/minichain pytorch

Tasks

Arithmetic ReasoningGSM8KMathMathematical ReasoningMath Word Problem Solving

Methods 이 논문이 사용한 방법론

Test 설명 없음

Similar Papers 제목 키워드 기반

Program-Aided Reasoners (better) Know What They Know

2023-11-16 · Anubha Kabra, Sanketh Rangreji, Yash Mathur, Aman Madaan 외

Prior work shows that program-aided reasoning, in which large language models (LLMs) are combined with programs written in programming languages such as Python, can significantly improve accuracy on various reasoning tas…

Diversity

SatLM: Satisfiability-Aided Language Models Using Declarative Prompting

2023-05-16 · NeurIPS 2023 11 · Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett

Prior work has combined chain-of-thought prompting in large language models (LLMs) with programmatic representations to perform effective and transparent reasoning. While such an approach works well for tasks that only r…

Arithmetic ReasoningLanguage ModelingLanguage Modelling

PLLM: Pseudo-Labeling Large Language Models for CAD Program Synthesis

2026-02-13 · Yuanbo Li, Dule Shu, Yanying Chen, Matt Klenk 외 arxiv

Recovering Computer-Aided Design (CAD) programs from 3D geometries is a widely studied problem. Recent advances in large language models (LLMs) have enabled progress in CAD program synthesis, but existing methods rely on…

Program Synthesis

LLM-Aided Customizable Profiling of Code Data Based On Programming Language Concepts

2025-03-19 · Pankaj Thorat, Adnan Qidwai, Adrija Dhar, Aishwariya Chakraborty 외

Data profiling is critical in machine learning for generating descriptive statistics, supporting both deeper understanding and downstream tasks like data valuation and curation. This work addresses profiling specifically…

Code GenerationData ValuationDescriptive

Load Disaggregation Based on Aided Linear Integer Programming

2016-03-24 · Md. Zulfiquar Ali Bhotto, Stephen Makonin, Ivan V. Bajic

Load disaggregation based on aided linear integer programming (ALIP) is proposed. We start with a conventional linear integer programming (IP) based disaggregation and enhance it in several ways. The enhancements include…