Source-linked AI summary
Over-Reasoning and Redundant Calculation of Large Language Models
Cheng-Han Chiang, Hung-yi Lee
TL;DR
It is unclear whether LLMs know when step-by-step reasoning is unnecessary, despite the added length of CoT outputs. The paper constructs GSM8K-Zero, where questions can be answered without calculations, and examines LLM outputs and proxy-model preferences. It finds redundant calculations and reasoning, and that proxy reward models prefer lengthy answers even when wrong.
Problem
Prior work focused on CoT correctness or faithfulness, leaving unclear whether LLMs recognize when step-by-step reasoning is unnecessary.
Source: §1 · p. 1Method
Results
Takeaways & Limitations
The authors suggest that LLMs may not distinguish questions requiring step-by-step reasoning from simpler ones, and identify teaching when to reason as a direction for future work.
Source: §5 · p. 5The authors estimate that about 85% of GSM8K-Zero question-answer pairs are valid and advise caution when interpreting results in light of dataset noise.
Source: Limitations · p. 6
Abstract
from arXiv · showhide
Large language models (LLMs) can solve problems step-by-step. While this chain-of-thought (CoT) reasoning boosts LLMs' performance, it is unclear if LLMs \textit{know} when to use CoT and whether those CoT are always necessary to answer the question. This paper shows that LLMs tend to generate redundant calculations and reasoning on a manually constructed math QA dataset, GSM8K-Zero. GSM8K-Zero is constructed such that the questions can be answered without any calculations, but LLMs, including Llama-2 models and Claude-2, tend to generate lengthy and unnecessary calculations to answer the questions. We also conduct experiments to explain why LLMs generate redundant calculations and reasonings. GSM8K-Zero is publicly available at https://github.com/d223302/Over-Reasoning-of-LLMs and https://huggingface.co/datasets/dcml0714/GSM8K-Zero.
1 Introduction
The paper asks whether LLMs recognize when step-by-step reasoning is unnecessary, a gap left by prior work focused on CoT correctness and faithfulness. Using GSM8K-Zero, it finds redundant calculations and examines whether preference for long answers may help explain them.
1 Introduction
- Although CoT can improve performance, lengthy answers increase inference latency and commercial costs and may make simple questions seem difficult to users.The paper argues that LLMs should use CoT when it is necessary, while noting that whether they do so remains unclear.Source: §1 · p. 1
- Prior CoT research examined reasoning correctness and faithfulness, but the paper identifies redundancy as an unstudied question.It asks whether LLMs generate unnecessary reasoning when a question clearly needs none.Source: §1 · p. 1
- LLMs generate redundant calculations on math questions answerable without calculation, sometimes complicating responses and leading to wrong answers.The study evaluates seven LLMs trained with reinforcement learning from human feedback.Source: §1 · pp. 1–2
- GPT-4 and ChatGPT show a strong preference for long answers containing redundant calculations, even when those answers are incorrect.The paper proposes that imperfect reward models preferring longer answers regardless of correctness may contribute to LLMs’ tendency toward lengthy outputs.Source: §1 · p. 2
- GSM8K-Zero is introduced as a dataset for studying redundant reasoning, with the authors releasing it to reveal this tendency in LLM outputs.The paper describes its work as an initial study of output redundancy.Source: §1 · p. 2
2 Dataset: GSM8K-Zero
GSM8K-Zero adapts GSM8K questions so their answers are stated in the known information, making calculation unnecessary. The paper uses this dataset to identify redundant responses by detecting mathematical operators.
2.1 Construction of GSM8K-Zero
- The construction removes GSM8K’s final sentence asking for an unknown quantity and replaces it with a question about a known variable.The new question is generated using few-shot prompting with ChatGPT, and GPT-4 is used to check the answer against the selected ground truth.Source: §2.1 · p. 2
- From 3,500 randomly selected GSM8K training questions, the procedure yields 2,978 question-answer pairs.Questions whose GPT-4 answer differs from the selected ground truth are discarded.Source: §2.1 · p. 2
- A manual inspection of 250 random pairs estimates that about 85% of GSM8K-Zero question-answer pairs are valid.The authors describe this as an estimate based on their inspection.Source: §2.1 · p. 2
2.2 Evaluating Redundancy
- Redundant output is superfluous response information not required for an accurate answer; on GSM8K-Zero, calculations are flagged when mathematical operators ×, +, or = appear.The dataset makes this test possible because answers are explicitly stated in the questions and require no calculations.Source: §2.2 · p. 2
3 Experiments
The experiments find frequent redundant reasoning on GSM8K-Zero, including when models are allowed to answer directly. Redundant calculations also coincide with lower accuracy for almost all tested models.
3 Experiments
- The experiments use zero-shot prompts across proprietary and open-source models, sampling one response per question; preliminary results were robust to sampling hyperparameters.Source: §3 · p. 2
3.1 Main Results
- Almost half of the tested LLMs achieve below 50% accuracy on GSM8K-Zero, whose answers can be extracted directly from the questions.Source: §3.1 · p. 3
- ChatGPT includes unnecessary calculations in almost half its answers, while every tested Llama-2 model does so in more than 80% of responses without being prompted.Source: §3.1 · p. 3
- For almost all models except PaLM, answers containing calculations have significantly lower accuracy than answers without calculations.Source: §3.1 · p. 3
- PaLM often states the numeric answer before its calculations, so later incorrect calculations do not affect the answer and accuracy is similar with or without them.Source: §3.1 · p. 3
3.2 Do LLMs Know When to Use CoT?
- When explicitly allowed to omit step-by-step reasoning, models reduce redundancy and generally improve accuracy, but redundancy remains above 25%.Source: §3.2 · p. 4
4 Why Do LLMs Generate Redundant Calculations?
Using ChatGPT and GPT-4 as proxy reward models, the authors find a preference for long answers, including lengthy answers that are wrong. The result suggests a possible preference-based explanation for redundant output.
- The authors use ChatGPT and GPT-4 as proxy reward models because they cannot access the reward models used to train ChatGPT or Llama models.The proxy models compare long and short answers for accuracy and helpfulness, with answer order inverted to counter position bias.Source: §4 · p. 5
- Long answers are ChatGPT responses with redundant calculations, paired with template-based short answers containing the ground-truth answer.The authors review approximately 100 correct and 100 incorrect long answers.Source: §4 · p. 5
- GPT-4 and ChatGPT prefer long answers when both answers are correct; when the long answer is wrong, ChatGPT consistently prefers it, and GPT-4 chooses it in 34% of cases.GPT-4 prefers the short, correct answer in 61% of cases.Source: §4 · p. 5, Figure 2 · p. 5
5 Conclusion
The paper concludes that LLMs tend to generate redundant calculations and reasoning, sometimes leading to wrong answers. It suggests studying redundancy and developing training techniques for when to reason step-by-step.
- The authors construct GSM8K-Zero to illustrate redundant LLM output and report that unnecessary reasoning can sometimes lead to wrong answers.They suggest future work on training techniques to teach models when to think step-by-step.Source: §5 · p. 5
Limitations
The study is limited to the manually constructed GSM8K-Zero dataset, whose generated question-answer pairs may contain noise. The authors also note that the paper’s short length leaves further exploration for future work.
Limitations
- The paper studies redundancy only on the manually constructed GSM8K-Zero dataset, leaving evaluation on other existing datasets to future work.The authors chose GSM8K-Zero because redundancy is easier to define and calculate on it.Source: Limitations · p. 6
- About 85% of GSM8K-Zero question-answer pairs are estimated valid based on review of 250 random pairs, and the authors say their main observations still hold when accounting for noise.The authors advise caution when interpreting results on GSM8K-Zero.Source: Limitations · p. 6
- The authors identify the paper’s short length as a constraint that leaves further questions unexplored.They describe the main content as self-contained and point curious readers to potential questions in Appendix A.Source: Limitations · p. 6
Ethical Statements
The authors report no anticipated harmful outcomes and say they followed ACL ethical guidelines.
Ethical Statements
- The authors do not see possible harmful outcomes from the work.Source: Ethical Statements · p. 6
- The authors state that they followed the ACL ethical guidelines while conducting the research.Source: Ethical Statements · p. 6
A FAQs
The FAQs report redundant outputs from non-RLHF models on GSM8K-Zero, while noting that their messy outputs make accuracy difficult to calculate. They also describe manual checks of answer labels used to assess proxy reward-model preferences.
A FAQs
- Alpaca and Vicuna, which are not RLHF-trained, also produce redundant outputs in 40% of cases on GSM8K-Zero.Their outputs are described as messy, making accuracy difficult to calculate with regular expressions, so these results are not reported in the main paper.Source: A FAQs · p. 7
- The FAQ raises whether regular-expression accuracy errors could make proxy reward models prefer long answers, and answers that the reviewed long-answer labels were assured correct or wrong.Source: A FAQs · p. 8
- Authors manually reviewed 100 correct and 100 wrong long answers used in Section 4 to check their labels.They also randomly sampled approximately 100 correct and 100 wrong answers containing calculations for Figure 2 because they could not review all such answers.Source: A FAQs · p. 8
B.1 Dataset Cards
GSM8K-Zero is constructed from GSM8K, whose dataset license is not included, leaving the authors unsure what license to use for GSM8K-Zero.
B.1 Dataset Cards
- GSM8K-Zero is constructed from GSM8K, but the source dataset does not include a license, leaving the release license uncertain.Source: §B.1 · p. 8
B.2 Manual Review by the Authors
The authors manually reviewed 250 ChatGPT responses, split evenly between responses marked correct and incorrect by regular-expression accuracy, to assess sample quality and parsing precision.
B.2 Manual Review by the Authors
- One author assigned each reviewed sample to one of four categories covering correct or incorrect ground truths and answers, or an invalid question.Invalidity included an incorrect ground truth, a question requiring calculation, or ambiguity.Source: §B.2 · p. 8
- The authors estimate that 14.8% of GSM8K-Zero questions are invalid, accounting for ChatGPT’s roughly 80% accuracy.The estimate combines the reviewed correct and incorrect answer groups.Source: §B.2 · p. 8
- Among questions ChatGPT answered correctly, 89% were valid and all had correct ground truths; among inaccurate answers, about 70% were valid and 2% had wrong ground truths.Source: §B.2 · p. 8
- Regular-expression parsing falsely counted wrong ChatGPT answers as correct in 7% of the correct-answer group, while it falsely counted correct answers as wrong in 4% of the inaccurate-answer group.Source: §B.2 · p. 8
B.2.1 Does Invalid Questions Affect the Results?
The authors argue that invalid questions do not explain the observed redundant calculations or the lower accuracy of answers containing calculations. The appendix also specifies dataset-generation and judging prompts, plus model sampling settings.
B.2.1 Does Invalid Questions Affect the Results?
- If models generated CoT reasoning and calculations for invalid questions, redundancy should be around 15%; all models except GPT-4 exceed that, so they also generate redundant calculations for valid questions.GPT-4 also generated redundant calculations in some cases; Table 3, item 2 is one example.Source: §B.2.1 · p. 8
- If all valid questions were answered correctly, accuracy would be about 85%; all models except Claude-2 fall short of that level.Source: §B.2.1 · p. 8
- Even if all invalid samples contained calculations, answers with calculations would still be less accurate than answers without them.Source: §B.2.1 · p. 9
C Prompts
- The generation prompt requires questions to ask for a number already stated in the source sentence, disallowing even simple calculation.The template fills in the known information and ground-truth answer from the original question.Source: C Prompts · p. 9
Prompts for using ChatGPT and GPT-4 as the proxy in Section 4
- The proxy-judging prompt asks ChatGPT or GPT-4 to compare two assistants on response quality and return a prescribed A, B, or tie verdict.Source: Prompts for using ChatGPT and GPT-4 as… · p. 9
D Sampling parameters of LLMs
- For LLM answer generation, the authors used temperature 0.7 and default settings for other parameters; Llama-2 ran through Huggingface Transformers.Source: D Sampling parameters of LLMs · p. 9
Related papers
This paper cites
- Language Models are Few-Shot Learners2020
- Training language models to follow instructions with human feedback2022
- The Flan Collection: Designing Data and Methods for Effective Instruction Tuning2023
- Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models2023
- How Close is ChatGPT to Human Experts? Comparison Corpus, Evaluation, and Detection2023