flaitenberger/prontoqa_gold_formalized

--- dataset_info: features: - name: id dtype: string - name: context dtype: string - name: query dtype: string - name: question dtype: string - name: answer dtype: string - name: options list: 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: raw_logic_program dtype: string splits: - name: validation num_bytes: 1510829 num_examples: 500 download_size: 350190 dataset_size: 1510829 configs: - config_name: default data_files: - split: validation path: data/validation-* ---