OmegaPRM and Math-Shepherd both report that soft label is better? OmegaPRM和Math-Shepherd好像都报告了soft label更好?