MorishT/2024-07-08.JFLD.cmpl-0.2.dstrct-5.step-2
收藏官方服务：
资源简介：
该数据集包含多个字段，涉及假设、事实、证明及其公式化表示，以及负面假设和负面证明等。数据集分为训练集和测试集，每个集包含3000个样本。数据集的总大小为11688230字节，下载大小为3824105字节。
This dataset includes multiple fields related to hypotheses, facts, proofs, and their formulaic representations, as well as negative hypotheses and negative proofs. The dataset is divided into a training set and a test set, each containing 3000 samples. The total size of the dataset is 11688230 bytes, and the download size is 3824105 bytes.
提供机构：
MorishT
