MorishT/2024-07-08.JFLD.cmpl-0.2.step-1

该数据集包含逻辑推理相关的数据，涵盖了假设、事实、证明及其公式化表示，以及负面假设和负面证明。数据集还包含了与证明相关的树结构信息，如树深度和步骤数。此外，数据集还提供了干扰项的数量信息，包括公式干扰项和翻译干扰项。数据集分为训练集和测试集，每个集合包含500个示例。

This dataset contains data related to logical reasoning, including hypotheses, facts, proofs, and their formulaic representations, as well as negative hypotheses and negative proofs. The dataset also includes tree structure information related to proofs, such as tree depth and number of steps. Additionally, the dataset provides information on the number of distractors, including formula distractors and translation distractors. The dataset is divided into training and test sets, each containing 500 examples.