hitachi-nlp/FLDx2
收藏Hugging Face2024-12-05 更新2024-12-14 收录
下载链接：
https://hf-mirror.com/datasets/hitachi-nlp/FLDx2
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含逻辑推理和数学证明相关的数据，特征字段包括版本、假设、假设公式、事实、事实公式、证明、证明公式等。数据集分为训练集、验证集和测试集，分别包含100,000、5,000和5,000个样本。下载大小为161,305,190字节，数据集大小为443,136,226字节。
This dataset contains data related to logical reasoning and mathematical proofs, with feature fields including version, hypothesis, hypothesis formula, facts, facts formula, proofs, proofs formula, etc. The dataset is divided into training, validation, and test sets, containing 100,000, 5,000, and 5,000 samples respectively. The download size is 161,305,190 bytes, and the dataset size is 443,136,226 bytes.
提供机构：
hitachi-nlp
