yalhessi/lemexp-processed

该数据集是用于自然语言处理任务的，包含了理论文件名、<lemma名称、<lemma对象、<lemma命令、模板、输出键、输入和输出等字段的信息。数据集根据符号的数量分为最小符号和更多符号两种配置，每种配置下又根据关注点不同分为命令、对象和模板三种类型。每种类型都有训练集、验证集和测试集。

This dataset is for natural language processing tasks, including information such as theory file names, lemma names, lemma objects, lemma commands, templates, output keys, inputs, and outputs. The dataset is divided into two configurations based on the number of symbols: minimal symbols and more symbols. Each configuration is further divided into three types based on the focus: commands, objects, and templates. Each type has a training set, validation set, and test set.