@inproceedings{sun-etal-2025-probing,
title = "Probing for Arithmetic Errors in Language Models",
author = "Sun, Yucheng and
Stolfo, Alessandro and
Sachan, Mrinmaya",
editor = "Christodoulopoulos, Christos and
Chakraborty, Tanmoy and
Rose, Carolyn and
Peng, Violet",
booktitle = "Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing",
month = nov,
year = "2025",
address = "Suzhou, China",
publisher = "Association for Computational Linguistics",
url = "https://preview.aclanthology.org/ingest-emnlp/2025.emnlp-main.411/",
pages = "8122--8139",
ISBN = "979-8-89176-332-6",
abstract = "We investigate whether internal activations in language models can be used to detect arithmetic errors. Starting with a controlled setting of 3-digit addition, we show that simple probes can accurately decode both the model{'}s predicted output and the correct answer from hidden states, regardless of whether the model{'}s output is correct. Building on this, we train lightweight error detectors that predict model correctness with over 90{\%} accuracy. We then extend our analysis to structured chain-of-thought traces on addition-only GSM8K problems and find that probes trained on simple arithmetic generalize well to this more complex setting, revealing consistent internal representations. Finally, we demonstrate that these probes can guide selective re-prompting of erroneous reasoning steps, improving task accuracy with minimal disruption to correct outputs. Our findings suggest that arithmetic errors can be anticipated from internal activations alone, and that simple probes offer a viable path toward lightweight model self-correction."
}Markdown (Informal)
[Probing for Arithmetic Errors in Language Models](https://preview.aclanthology.org/ingest-emnlp/2025.emnlp-main.411/) (Sun et al., EMNLP 2025)
ACL
- Yucheng Sun, Alessandro Stolfo, and Mrinmaya Sachan. 2025. Probing for Arithmetic Errors in Language Models. In Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, pages 8122–8139, Suzhou, China. Association for Computational Linguistics.