TTKG-Math：数学模板定理知识图谱

TTG-Math（Template-Theorems Graph for Math）是一套面向数学推理的“模板—定理”图谱/知识库：它借鉴人类解题的联想机制，将具体数学题抽象为可复用的问题模板与分步的解法模板，并把每一步所需的关键定理/规则与模板建立显式链接，从而在遇到新题时能先做“问题蒸馏”得到模板表征，再在图中检索最相关的模板与定理作为上下文输入给 LLM，提升复杂数学题的定理召回与应用能力，并在多数据集上验证了准确率与效率的综合收益。

Данные и Ресурсы

资源主页 _{【下载量：11】}
Исследуй
- Больше информации
- Перейти к ресурсу
开源数据 _{【下载量：10】}
Исследуй
- Больше информации
- Загрузить

Дополнительная информация

Поле	Величина
Последнее обновление	января 15, 2026, 09:43 (UTC)
Создано	января 14, 2026, 03:35 (UTC)
贡献者	浙江大学（兰雅榕）