MorishT/2024-07-08.JFLD.dstrct-5.step-3
收藏Hugging Face2024-07-13 更新2024-07-22 收录
下载链接：
https://hf-mirror.com/datasets/MorishT/2024-07-08.JFLD.dstrct-5.step-3
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个与逻辑推理和证明相关的特征字段，如版本、假设、假设公式、事实、事实公式、证明、证明公式等。数据集分为训练集和测试集，每个集合包含500个样本。数据集的总大小为2400244字节，下载大小为828954字节。
This dataset contains multiple feature fields related to logical reasoning and proofs, such as version, hypothesis, hypothesis formula, facts, facts formula, proofs, proofs formula, etc. The dataset is divided into a training set and a test set, each containing 500 samples. The total size of the dataset is 2400244 bytes, and the download size is 828954 bytes.
提供机构：
MorishT
