ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
收藏Hugging Face2024-12-05 更新2024-12-21 收录
下载链接：
https://hf-mirror.com/datasets/ummagumm-a/theorems-critic-proved_or_not-w-lean_workbook_dedup
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征，如commit、file_path、full_name等，这些特征的名称和数据类型在features部分列出。数据集被分为train和test两个部分，每个部分的字节大小和示例数量也有详细说明。此外，还提供了数据集的下载大小和总大小。
The dataset includes multiple feature fields such as commit, file_path, full_name, etc., with data types including strings and numerical types. The dataset is divided into a training set and a test set, with the training set containing 1,145,626 samples and the test set containing 9,487 samples. The data files are stored in the paths data/train-* and data/test-* respectively.
提供机构：
ummagumm-a
