价格
免费
下载次数
0
点赞数
0
TheoremExplainBench 是由新加坡国立大学 TIGER 实验室发布的多语言定理解释评测数据集，包含 1 万条大学级别数学、物理与计算机科学定理，每条提供自然语言陈述、符号化表达、逐步证明与面向中学生的通俗讲解四重标注，支持零样本、思维链与检索增强测试，用于系统评估大模型在定理理解、证明重构与教学解释方面的准确性与可解释性
| 来源类型 | API 接入 |
| 开源状态 | ✅ 开源 |
| 授权协议 | mit |
| 数据语言 | - |
| 数据量级 | - |
| 交付格式 | - |
| 仓库路径 | NUS/TheoremExplainBench |
| 公开状态 | 公开 |
该数据集为开源数据集，可通过 Git 方式免费下载
git lfs install && git clone https://aihub.caict.ac.cn/datasets/NUS/TheoremExplainBench.git