Efficient Reinforcement Learning for Mathematical Theorem Proving with Compact Language Models. (2026). Journal of Advanced Artificial Intelligence Research, 5(1). https://www.jaair.org/index.php/home/article/view/249