Sheng, Yu, Linjing Li, and Daniel Dajun Zeng. “Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (April 11, 2025): 15151–15159. Accessed May 28, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33662.