jhkim64/FOL_Missing
收藏Hugging Face2024-12-20 更新2024-12-21 收录
下载链接：
https://hf-mirror.com/datasets/jhkim64/FOL_Missing
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征，如前提、结论、结论的一阶逻辑表示等，每个特征都有其数据类型。数据集分为训练集和验证集，分别包含150和15个样本。数据集的下载大小为82397字节，总大小为150811字节。
The dataset contains multiple features such as premises, conclusion, conclusion-FOL, etc., each with its own data type. The dataset is divided into a training set and a validation set, containing 150 and 15 samples respectively. The download size of the dataset is 82397 bytes, and the total size is 150811 bytes.
提供机构：
jhkim64
