envomp/simple_first-order_propositional_logic

该数据集包含预测字符串(preds)，规则(rules，包括前提(premises)和结论(conclusion))，事实字符串(facts)，查询(query)，标签(label)和深度(depth)。数据集分为训练集(train_lp, train_lp_downsampled, train_rp_downsampled)和验证集(validation_lp, validation_lp_star, validation_rp)，每个集合都有不同的字节数和示例数。

The dataset includes prediction strings (preds), rules (including premises and conclusion), fact strings (facts), queries (query), labels (label), and depth. The dataset is split into training sets (train_lp, train_lp_downsampled, train_rp_downsampled) and validation sets (validation_lp, validation_lp_star, validation_rp), each with different byte sizes and number of examples.