From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs
arXiv:2601.03682v2 Announce Type: replace
Abstract: Recent studies reveal that large language models (LLMs) exhibit limited logical reasoning abilities in mathematical problem-solving, instead often relying on pattern-matching and memorization. We sys…