Y. Lan, Y. Xu, and H. Chen, “Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM”, AAAI, vol. 40, no. 37, pp. 31465–31473, Mar. 2026.