Lan Y, Xu Y, Chen H. Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM. AAAI [Internet]. 2026 Mar. 14 [cited 2026 Jul. 22];40(37):31465-73. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/40411