@misc{indiciaec91948a5aefe,
  title = {From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs},
  author = {Shaojie Wang and Liang Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.03682},
  note = {Source identifier: 2601.03682}
}