Lan, Y.; Xu, Y.; Chen, H. Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM. AAAI 2026, 40, 31465-31473.