pkuAI4M/test_extract_mathlib_notype
收藏Hugging Face2024-09-02 更新2024-12-14 收录
下载链接：
https://hf-mirror.com/datasets/pkuAI4M/test_extract_mathlib_notype
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含与形式化证明相关的多个特征字段，如形式化声明、形式化证明、非形式化声明、非形式化证明等。数据集仅包含一个训练集，共有2832686个样本，总大小为3959705086字节。
This dataset contains multiple feature fields related to formal proofs, such as formal statements, formal proofs, informal statements, informal proofs, etc. The dataset includes only a training set with 2,832,686 samples and a total size of 3,959,705,086 bytes.
提供机构：
pkuAI4M
