LIMOPro: Reasoning Refinement for Efficient and Effective Test-time Scaling | Read Paper on Bytez