Token-Efficient Logical Supervision for Mathematical Reasoning

1 points | by wslh 10 hours ago