TIGER-Lab 发布 TheoremExplainBench 数据集, 应用在 数学定理、知识图谱 领域

TIGER-Lab 本次发布的数据集 TheoremExplainBench, 该数据集包含有关数学定理的信息，特征包括定理的主题、难度、具体定理内容、描述以及所属的子领域。数据集分为训练集，其中包含240个示例，数据大小为71677字节。整个数据集的下载大小为39223字节。

查看TheoremExplainBench

Dataset card 内容： 

Files and versions 内容： 

关于 TIGER-Lab , TIGER-Lab是一个专注于图形识别、增强现实和虚拟现实等技术研究的实验室，致力于推动这些前沿技术在教育、娱乐和工业界的应用与发展。

关于 HuggingFace , Hugging Face是一个机器学习社区协作平台，专注于模型、数据集和应用程序的创建、发现和协作。该平台支持多种数据类型，包括文本、图像、视频、音频和3D数据，并提供开源工具和付费计算及企业解决方案。