yalhessi/lemexp-raw
收藏官方服务：
资源简介：
该数据集包含了多个配置版本，每个版本都包含了理论文件、lemma信息、命令、对象、符号和定义等字段。这些数据集主要用于训练机器学习模型，处理与理论、lemma和符号相关的任务。
The dataset consists of multiple configurations, each containing fields such as theory files, lemma information, commands, objects, symbols, and definitions. These datasets are primarily used for training machine learning models on tasks related to theory, lemmas, and symbols.
提供机构：
yalhessi
