Token-Efficient Logical Supervision for Mathematical Reasoningarxiv.org1 point·wslh··0 commentsOpen articleSaveView on HN