Formula-One Prompting: Equation-First Reasoning For Applied Mathematics

View PDF HTML (experimental)

Abstract:LLMs encode vast mathematical knowledge including governing equations from pretraining on equation-rich corpora, yet existing prompting methods, including Chain-of-Thought (CoT) and Program-of-Thought (PoT), do not explicitly elicit equation formulation as a reasoning stage. We propose Formula-One Prompting (F-1), a single-call, two-phase approach that fills this equation gap by using mathematical equations as an intermediate representation before solving through natural flow reasoning. F-1 first formulates governing equations from problem descriptions; the model then naturally selects a solving strategy among CoT, PoT, or direct computation based on the formalized equation structure, without explicit routing rules. Results across five models and four benchmarks show F-1 outperforms CoT by +5.76% and PoT by +8.42% on average, winning 53 out of 60 benchmark-model comparisons (88.3%). Gains are largest in applied domains: +13.30% on FinanceMath over CoT, and within OlympiadBench, larger gains on physics (+2.55%) than pure math (+0.44%). Per-problem analysis confirms equation formalization is the primary driver.

Subjects:

Computation and Language (cs.CL)

Cite as: arXiv:2601.19302 [cs.CL]

(or arXiv:2601.19302v2 [cs.CL] for this version)

https://doi.org/10.48550/arXiv.2601.19302

arXiv-issued DOI via DataCite

Submission history

From: Natapong Nitarach [view email] [v1] Tue, 27 Jan 2026 07:42:20 UTC (462 KB) [v2] Fri, 27 Mar 2026 09:36:02 UTC (393 KB)