yalhessi/lemexp-task1-v3

该数据集包含了多个配置，每个配置具有不同的特征和数据分割。特征包括理论文件、引理名称、引理命令等，数据分割包括训练集、验证集和测试集，每个分割都有相应的文件大小和示例数量。数据集的下载大小和总大小也都有所说明。