yalhessi/lemexp-raw-unordered
收藏Hugging Face2025-03-17 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/yalhessi/lemexp-raw-unordered
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含两个配置：afp-thms和hol-thms。每个配置都包括理论文件、引理名称、引理命令、引理对象、模板、符号序列和定义序列等信息。afp-thms配置的训练集包含193810个示例，大小为260195307字节；hol-thms配置的训练集包含55553个示例，大小为69291543字节。数据集提供了训练集 split，并包含了不同版本的数据文件。
The dataset consists of two configurations: afp-thms and hol-thms. Each configuration includes information such as theory files, lemma names, lemma commands, lemma objects, templates, symbol sequences, and definition sequences. The afp-thms configurations training set contains 193810 examples, with a size of 260195307 bytes; the hol-thms configurations training set contains 55553 examples, with a size of 69291543 bytes. The dataset provides a training set split and includes data files from different versions.
提供机构：
yalhessi
