수학적 추론을 위한 토큰 효율적 논리 감독

Token-Efficient Logical Supervision for Mathematical Reasoning