From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs.

Shaojie Wang, Liang Zhang

Browse the full ACL paper archive.