mlfoundations-dev/oh_v1_w_v3_metamath

该数据集包含两个主要特征：source和sample，其中sample是一个列表，包含from和value两个子特征。数据集分为一个训练集（train），包含900,835个样本，总大小为1,507,854,738.45字节。下载大小为826,174,333字节。数据集的配置名为default，数据文件路径为data/train-*。

The dataset contains two main features: source and sample, where sample is a list containing two sub-features: from and value. The dataset is divided into a training set (train) with 900,835 samples, totaling 1,507,854,738.45 bytes. The download size is 826,174,333 bytes. The dataset configuration is named default, and the data file path is data/train-*.