Can LLMs subtract numbers?
Mayank Jobanputra, Nils Philipp Walter, Maitrey Mehta, Blerta Veseli, Evan Parker Kelly Chapple, Yifan Wang, Sneha Chetani, Ellie Pavlick, Antonio Vergari, Vera Demberg
TL;DR
The paper systematically evaluates subtraction in eight pretrained LLMs across four families, revealing that subtraction accuracy substantially trails addition and exhibits a strong bias when $a<b$, with the negative sign frequently omitted. Through data generation within tokenizer ranges and varied prompting, the study uncovers that LLMs internally encode when results are negative, yet generation often fails to surface the sign, a gap bridged by instruction-tuned models which achieve near-perfect subtraction performance. Few-shot prompting yields modest, inconsistent gains, highlighting the limits of in-context learning for this task. The findings emphasize subtraction as a valuable diagnostic for numerical reasoning and suggest that instruction tuning is a more robust remedy than few-shot learning for enabling correct negative results.
Abstract
We present a systematic study of subtraction in large language models (LLMs). While prior benchmarks emphasize addition and multiplication, subtraction has received comparatively little attention despite being structurally distinct as a non-commutative operation. We evaluate eight pretrained LLMs spanning four families on addition and subtraction problems. Our experiments reveal that subtraction accuracy lags behind addition by a wide margin. We find that the errors for ($a-b$) are concentrated in cases where ($a<b$). In such cases, LLMs frequently produce the correct magnitude but omit the negative sign. Probing analyses show that LLMs internally encode whether results should be negative, yet this information is often not reflected in generated outputs. We further test well-known techniques such as few-shot learning and instruction-tuning to see if they can improve the LLMs' performance. Our results suggest that while few-shot prompting yields modest gains, the instruction-tuned models achieve near-perfect accuracies in generating the negative sign. Together, these findings provide a clearer characterization of the limitations and recoverability of LLMs' arithmetic capabilities in subtraction.
