Sheng, Y., Li, L. and Zeng, D. D. (2025) “Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), pp. 15151–15159. doi: 10.1609/aaai.v39i14.33662.