LAN, Yarong; XU, Yajing; CHEN, Huajun. Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 37, p. 31465–31473, 2026. DOI: 10.1609/aaai.v40i37.40411. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/40411. Acesso em: 22 jul. 2026.