five
五号数据雷达
产品上架
产权登记
知识产权
公共数据
首页 / 开源数据市场 / 正文

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

五号数据雷达开源数据市场2025-03-04 06:3819
lemexp-raw 是 发布的数据集,于 2025-03-03 首发在 HuggingFace 应用于 数学知识表示、机器学习 领域

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

查看lemexp-raw

Dataset card 内容: 

 

Files and versions 内容: 

 

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

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

数据合作广告位

社区讨论

近期热门
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

二维码
关注我们