Step-KTO: Optimizing Mathematical Reasoning Through Stepwise Binary Feedback | AMiner