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-* ---