有没有相关的论文或文献参考？
这个数据集是基于什么背景创建的？
数据集的作者是谁？
能帮我联系到这个数据集的作者吗？
这个数据集如何下载？
NaturalProofs|数学证明数据集|自然语言处理数据集
收藏OpenDataLab2025-04-05 更新2024-05-09 收录
下载链接：
https://opendatalab.org.cn/OpenDataLab/NaturalProofs
下载链接
链接失效反馈资源简介：
NaturalProofs 数据集是用于研究自然语言中的数学推理的大规模数据集。 NaturalProofs 包含大约 20,000 个定理陈述和证明、12,500 个定义和 1,000 个附加页面（例如公理、推论），这些页面来自 ProofWiki，这是一个由贡献者社区编写的在线数学证明纲要。
提供机构：
OpenDataLab
创建时间：
2022-05-23
数据主题
5,000+
优质数据集
54 个
任务类型
进入经典数据集
热门数据集
Tropicos
Tropicos是一个全球植物名称数据库，包含超过130万种植物的名称、分类信息、分布数据、图像和参考文献。该数据库由密苏里植物园维护，旨在为植物学家、生态学家和相关领域的研究人员提供全面的植物信息。
www.tropicos.org 收录
VoxBox
VoxBox是一个大规模语音语料库，由多样化的开源数据集构建而成，用于训练文本到语音（TTS）系统。
github 收录
cricket_data
该数据集包含了多种板球比赛的数据，包括每场比赛的详细信息，如比赛日期、地点、参赛队伍、比赛结果等。数据以文件形式存储，每个文件对应不同的比赛信息，如投球数据、比赛日期、比赛信息、比赛详情、元数据、比赛结果、最有价值球员、超级替补、参赛队伍、抛硬币结果和裁判员信息等。
github 收录
HIT-UAV
HIT-UAV数据集包含2898张红外热成像图像，这些图像从43,470帧无人机拍摄的画面中提取。数据集涵盖了多种场景，如学校、停车场、道路和游乐场，在不同的光照条件下，包括白天和夜晚。
github 收录
CatMeows
该数据集包含440个声音样本，由21只属于两个品种（缅因州库恩猫和欧洲短毛猫）的猫在三种不同情境下发出的喵声组成。这些情境包括刷毛、在陌生环境中隔离和等待食物。每个声音文件都遵循特定的命名约定，包含猫的唯一ID、品种、性别、猫主人的唯一ID、录音场次和发声计数。此外，还有一个额外的zip文件，包含被排除的录音（非喵声）和未剪辑的连续发声序列。
huggingface 收录