Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs