“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.