yalhessi/lemexp-task1-v3
收藏官方服务：
资源简介：
该数据集包含了多个配置，每个配置具有不同的特征和数据分割。特征包括理论文件、引理名称、引理命令等，数据分割包括训练集、验证集和测试集，每个分割都有相应的文件大小和示例数量。数据集的下载大小和总大小也都有所说明。
提供机构：
yalhessi
社区交流群
科研交流群
商业服务
该数据集包含了多个配置，每个配置具有不同的特征和数据分割。特征包括理论文件、引理名称、引理命令等，数据分割包括训练集、验证集和测试集，每个分割都有相应的文件大小和示例数量。数据集的下载大小和总大小也都有所说明。