发布 lemexp-raw 数据集, 应用在 数学知识表示、机器学习 领域

本次发布的数据集 lemexp-raw, 该数据集包含了数学理论或定理的相关信息，特征包括理论文件名、引理名称、引理对象、引理命令等，以及使用的符号和定义。数据集分为多个配置版本，每个版本都有训练集 split。

查看lemexp-raw

Dataset card 内容： 

Files and versions 内容： 

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

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