Y. Sheng, L. Li, and D. D. Zeng, “Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models”, AAAI, vol. 39, no. 14, pp. 15151–15159, Apr. 2025.