yalhessi/lemexp-task1
收藏Hugging Face2025-03-27 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/yalhessi/lemexp-task1
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个针对 lemma 命令和对象处理任务的专用数据集，包含了理论文件名、 lemma 名称、 lemma 命令、 lemma 对象、模板、符号序列和定义序列等多种特征。数据集分为不同的大小版本，以及针对不同符号数量的版本，以满足不同训练需求。每个版本都包含训练集、验证集和测试集，以便于模型训练和评估。
This dataset is a specialized dataset for processing lemma commands and objects, including features such as theory file names, lemma names, lemma commands, lemma objects, templates, symbol sequences, and definition sequences. The dataset is divided into different size versions, as well as versions for different numbers of symbols, to meet various training requirements. Each version contains training, validation, and test sets for model training and evaluation.
提供机构：
yalhessi
