flaitenberger/folio_gold_formalized

--- dataset_info: features: - name: id dtype: int64 - name: story_id dtype: int64 - name: premises dtype: string - name: conclusion dtype: string - name: question dtype: string - name: answer dtype: string - name: split dtype: string - name: source_dataset dtype: string - name: formalized_constants dtype: string - name: formalized_predicates dtype: string - name: formalized_premises dtype: string - name: formalized_conclusion dtype: string - name: premises_fol dtype: string - name: conclusion_fol dtype: string splits: - name: train num_bytes: 1201365 num_examples: 710 - name: validation num_bytes: 206647 num_examples: 129 download_size: 328899 dataset_size: 1408012 configs: - config_name: default data_files: - split: train path: data/train-* - split: validation path: data/validation-* ---