@article{fromimplicittoexplicittokenefficientlogi,
  title = {From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs},
  author = {Shaojie Wang and Liang Zhang},
  year = {2026},
  eprint = {2601.03682},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.03682},
}