发布 rediscovery-results 数据集, 应用在 数学理论、机器学习 领域

本次发布的数据集 rediscovery-results, 该数据集是一个包含不同数学理论文件的集合，旨在用于数学公式和定理的自动发现。每个配置（afp、hol和octonions）都包含了理论文件的相关信息，如词形名称、命令、对象、模板、符号和定义等。数据集还包含了关于重新发现任务的成功与否的信息，以及是否使用符号或神经方法进行重新发现。数据集分为训练集和测试集，以便进行模型的训练和评估。

查看rediscovery-results

Dataset card 内容： 

Files and versions 内容： 

关于 , 国庆学校是一所位于中国的教育机构，专注于提供基础教育服务。学校致力于培养学生的综合素质，注重学术与品德的全面发展。

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