Effective Reinforcement Learning for Reasoning in Language Models. - Lianghuan Huang; Shuo Li; Sagnik Anupam; Insup Lee 001; Osbert Bastani (CoRR, 2025)