TY - RPRT TI - From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs AU - Shaojie Wang AU - Liang Zhang PY - 2026 UR - https://arxiv.org/abs/2601.03682 ID - 2601.03682 ER -