yalhessi/lemmanaid-raw

Name: yalhessi/lemmanaid-raw
Creator: yalhessi
Published: 2026-04-02 09:08:24
License: 暂无描述

Hugging Face2026-04-02 更新2026-04-12 收录

下载链接：

https://hf-mirror.com/datasets/yalhessi/lemmanaid-raw

下载链接

链接失效反馈

官方服务：

资源简介：

--- dataset_info: - config_name: hol-raw-retrieval features: - name: theory_file dtype: string - name: lemma_name dtype: string - name: lemma_command dtype: string - name: lemma_object dtype: string - name: template dtype: string - name: symbols list: - name: definition dtype: string - name: name dtype: string - name: type dtype: string splits: - name: train num_bytes: 110467387 num_examples: 63678 download_size: 10921417 dataset_size: 110467387 - config_name: hol-raw-retrieval-2026-04-01 features: - name: theory_file dtype: string - name: lemma_name dtype: string - name: lemma_object dtype: string - name: lemma_command dtype: string - name: used_symbols list: string - name: symbol_types list: string - name: used_symbol_definitions list: - name: definition dtype: string - name: symbol dtype: string - name: template dtype: string - name: local_symbols list: string - name: local_symbol_definitions list: - name: definition dtype: string - name: symbol dtype: string - name: used_defs list: string - name: local_defs list: string - name: defs list: string splits: - name: train num_bytes: 8168715 num_examples: 381 download_size: 132563 dataset_size: 8168715 - config_name: hol-raw-retrieval-2026-04-02 features: - name: theory_file dtype: string - name: lemma_name dtype: string - name: lemma_command dtype: string - name: lemma_object dtype: string - name: template dtype: string - name: symbols list: - name: definition dtype: string - name: name dtype: string - name: type dtype: string splits: - name: train num_bytes: 110467387 num_examples: 63678 download_size: 10921417 dataset_size: 110467387 configs: - config_name: hol-raw-retrieval data_files: - split: train path: hol-raw-retrieval/train-* - config_name: hol-raw-retrieval-2026-04-01 data_files: - split: train path: hol-raw-retrieval-2026-04-01/train-* - config_name: hol-raw-retrieval-2026-04-02 data_files: - split: train path: hol-raw-retrieval-2026-04-02/train-* ---

提供机构：

yalhessi

5,000+

优质数据集

54 个

任务类型

进入经典数据集