“Efficient Reinforcement Learning for Mathematical Theorem Proving With Compact Language Models”. Journal of Advanced Artificial Intelligence Research, vol. 5, no. 1, July 2026, https://www.jaair.org/index.php/home/article/view/249.