开源数据
Dataset description:
TTG-Math(Template-Theorems Graph for Math)是一套面向数学推理的“模板—定理”图谱/知识库:它借鉴人类解题的联想机制,将具体数学题抽象为可复用的问题模板与分步的解法模板,并把每一步所需的关键定理/规则与模板建立显式链接,从而在遇到新题时能先做“问题蒸馏”得到模板表征,再在图中检索最相关的模板与定理作为上下文输入给...
แหล่ง: TTKG-Math:数学模板定理知识图谱
ยังไม่มีการสร้างวิวสำหรับทรัพยากรนี้
ข้อมูลเพิ่มเติม
| ฟิลด์ | ค่า |
|---|---|
| Data last updated | 15 มกราคม ค.ศ. 2026 |
| Metadata last updated | 15 มกราคม ค.ศ. 2026 |
| สร้างแล้ว | 15 มกราคม ค.ศ. 2026 |
| รูปแบบ | ไม่ทราบ |
| สัญญาอนุญาต | Creative Commons Attribution Share-Alike |
| Datastore active | False |
| Has views | False |
| Id | a376d045-6157-4edc-bec3-eb8fce031ae3 |
| Package id | fcaea632-66df-4b60-af49-54a12d48f3cc |
| Position | 1 |
| Size | 99.7 MB |
| State | active |
| Url type | upload |