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