Skip to main content
登录
注册
首页
开放资源
开放图谱
开源工具
开放评测
OneEval大模型榜单
知识图谱系列评测
精选项目
精选数据
精选工具
兴趣小组
关于我们
OpenKG发起人
OpenKG TOC
OpenKG委员会
致谢
OpenKG志愿者
支持机构和单位
首页
数据集
排序
相关度
按名称升序
按名称降序
最后修改时间
热门
Go
找到1个数据集
机构:
浙江大学
标签:
数学
过滤结果
TTKG-Math:数学模板定理知识图谱
TTG-Math(Template-Theorems Graph for Math)是一套面向数学推理的“模板—定理”图谱/知识库:它借鉴人类解题的联想机制,将具体数学题抽象为可复用的问题模板与分步的解法模板,并把每一步所需的关键定理/规则与模板建立显式链接,从而在遇到新题时能先做“问题蒸馏”得到模板表征,再在图中检索最相关的模板与定理作为上下文输入给...
您也可以使用
应用程式界面
(看
API文献
)注册.