yalhessi/lemexp-task3
收藏Hugging Face2025-03-28 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/yalhessi/lemexp-task3
下载链接
链接失效反馈官方服务：
资源简介：
这是一个包含了三种不同规模配置（afp、full、small）的数据集，每种配置都含有理论文件、词名、词命令、词对象、模板、符号序列、定义序列、输入和输出等字段。数据集分为训练集、验证集和测试集，分别用于模型的训练、验证和测试。
This dataset consists of three different size configurations (afp, full, small), each containing fields such as theory files, lemma names, lemma commands, lemma objects, templates, symbol sequences, definition sequences, inputs, and outputs. The dataset is split into training, validation, and test sets for model training, validation, and testing respectively.
提供机构：
yalhessi
