Lan, Yarong, Yajing Xu, and Huajun Chen. “Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 37 (March 14, 2026): 31465–31473. Accessed July 22, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/40411.