rkumar1999/OBT-proof-short-60-n10000
收藏官方服务：
资源简介：
该数据集包含多个字段，如索引、名称、陈述、证明等，适用于机器学习或自然语言处理任务。数据集分为训练集，其中包含10000个示例。数据集的总大小为18782540字节。
The dataset includes multiple fields such as index, name, statement, proof, etc., suitable for machine learning or natural language processing tasks. The dataset is split into a training set, which contains 10,000 examples. The total size of the dataset is 18,782,540 bytes.
提供机构：
rkumar1999
