2026
Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM
AAAI 2026technical
Large language models (LLMs) have made significant strides in mathematical reasoning, particularly at the elementary level. However, they continue to face substantial challenges when confronted with complex, advanced mathematical problems. In contrast to humans—who can effectively draw upon prior ex