What makes math problems hard for reinforcement learning: A case study. - Ali Shehper; Anibal M. Medina-Mardones; Lucas Fagan; Bartlomiej Lewandowski; Angus Gruen; Yang Qiu; Piotr Kucharski; Zhenghan Wang; Sergei Gukov (NeurIPS, 2025)