five

yalhessi/lemmanaid-raw

收藏
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 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作