PreprintCited by 779Topic ModelingNatural Language Processing TechniquesMathematics Education and Pedagogy

Training Verifiers to Solve Math Word Problems

Open access
Cobbe, Karl, Kosaraju, Vineet, Bavarian, Mohammad, Chen, Mark, Jun, Heewoo, Kaiser, Lukasz, Plappert, Matthias, Tworek, Jerry +4 more·2021·arXiv

Abstract

State-of-the-art language models can match human performance on many tasks, but they still struggle to robustly perform multi-step mathematical reasoning. To diagnose the failures of current models and support research, we introduce GSM8K, a dataset of 8.5K high quality linguistically diverse grade school math word problems. We find that even the largest transformer models fail to achieve high test performance, despite the conceptual simplicity of this problem distribution. To increase performance, we propose training verifiers to judge the correctness of model completions. At test time, we generate many candidate solutions and select the one ranked highest by the verifier. We demonstrate that verification significantly improves performance on GSM8K, and we provide strong empirical evidence that verification scales more effectively with increased data than a finetuning baseline.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.2110.14168

Cites

29 of 29 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • The diversity and complexity of tasks make it difficult to represent them in a unified yet flexible manner.

    “Specifically, each task can have different requirements, operations, and dependencies, which makes it difficult to represent them in a unified yet flexible manner (Chen et al., 2021;Cobbe et al., 2021;Yang et al., 2018;Luo et al., 2018).”

    From AFlow: Automating Agentic Workflow Generation (2024) · cites this paper as Cobbe et al., 2021

    The Introduction’s Dataset description (page not provided) describes diverse math word problems requiring multiple steps and arithmetic operations. It does not say that differing requirements or dependencies make the tasks difficult to represent in a unified, flexible manner. (LLM, conf=0.86)

    Experimental — accuracy not yet measured
  • The majority of evaluation protocols largely simplify experimental assumptions and design static, pre-defined rules, with relatively short and isolated task settings.

    “The majority of evaluation protocols largely simplify experimental assumptions and design static, pre-defined rules, with relatively short and isolated task settings (Cobbe et al., 2021; Chen et al., 2021; Budzianowski et al., 2018).”

    From A Survey of Agent Memory in the Second Half: Towards Self-Evolving and Long-Horizon Agents (2026) · cites this paper as Cobbe et al., 2021

    The Dataset discussion (Introduction, p. unavailable) describes GSM8K as individual grade-school math problems taking 2–8 steps, and Methods (§4, p. unavailable) describes evaluation by checking the final answer. This supports GSM8K as an example of bounded tasks with a fixed correctness criterion. The paper does not establish that the majority of evaluation protocols simplify assumptions or use static, pre-defined rules; it also says GSM8K deliberately avoids repeated problem templates. (LLM, conf=0.82)

    Experimental — accuracy not yet measured
  • Another line of research utilizes majority voting to choose candidates based on their execution performance.

    “Another line of research utilizes majority voting to choose candidates based on their execution performance [89, 90].”

    From Voyager: An Open-Ended Embodied Agent with Large Language Models (2023) · cites this paper as [90]

    Section 5.1 (page not specified) describes majority voting among top verifier-ranked solutions, with votes determined by their final answers. It does not describe choosing candidates based on execution performance; that part of the claim is unsupported. (LLM, conf=0.85)

    Experimental — accuracy not yet measured
  • Cobbe et al. (2021); Lightman et al. (2023); Wang et al. (2023b) train a verifier or a critique model on a high-quality dataset to verify or refine LLM outputs, which can be used to provide feedback for correcting prediction errors.

    “Cobbe et al. (2021); Lightman et al. (2023); Wang et al. (2023b) train a verifier or a critique model on a high-quality dataset to verify or refine LLM outputs, which can be used to provide feedback for correcting prediction errors.”

    From Large Language Models Cannot Self-Correct Reasoning Yet (2023) · cites this paper as Cobbe et al. (2021)

    Split into 2 atoms — 0 confirmed, 1 partially supported, 0 disputed, 0 misattributed, 0 unverifiable, 1 not checked. Expand the claim to see per-atom verdicts.

    Experimental — accuracy not yet measured
  • Many established benchmarks struggle to keep pace with the advancements in LM performance and have quickly become saturated, leading to discrepancies between the models' perceived and actual capabilities.

    “Many established benchmarks struggle to keep pace with the advancements in LM performance and have quickly become saturated [91, 14, 70, 58], leading to discrepancies between the models' perceived and actual capabilities [36].”

    From SciCode: A Research Coding Benchmark Curated by Scientists (2024) · cites this paper as [14]

    Section 3.1 (page unavailable) says early math word-problem datasets are too small to test the limits of modern language models, supporting the narrower point that some older benchmarks have not kept pace. The paper does not say that many established benchmarks have quickly become saturated. The sentence attributes the separate claim about perceived versus actual capabilities to citation [36], not to this source. (LLM, conf=0.78)

    Experimental — accuracy not yet measured

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Cited by

Sorted by citations

Authors
Cobbe, K., Kosaraju, V., Bavarian, M., Chen, M., Jun, H., Kaiser, L., Plappert, M., Tworek, J., Hilton, J., Nakano, R., Hesse, C., & Schulman, J.
Venue
arXiv
Publisher
arXiv
Published
2021
ISSN
2331-8422 (ISSN-L)
OpenAlex
W3210904070
Cited by
575
References
28
Citations by year
2026: 30 · 2025: 137 · 2024: 156 · 2023: 216 · 2022: 34 · 2021: 2
Type
posted content
Language
en
Open access
Locations
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Topic Modeling
  • Physical Sciences › Computer Science › Artificial Intelligence › Natural Language Processing Techniques
  • Physical Sciences › Mathematics › Applied Mathematics › Mathematics Education and Pedagogy
Keywords
mathematical word problems, large language models, solution verification, transformer models

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review