comparing length penalty formulations for reasoning models under the same GRPO training setup