Sheng, Y.; Li, L.; Zeng, D. D. Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models. AAAI 2025, 39, 15151-15159.