“Efficient Reinforcement Learning for Mathematical Theorem Proving with Compact Language Models”, JAAIR, vol. 5, no. 1, Jul. 2026, Accessed: Oct. 27, 2026. [Online]. Available: https://www.jaair.org/index.php/home/article/view/249