flaitenberger/proofwriter_gold_formalized
收藏Hugging Face2026-04-01 更新2026-04-12 收录
下载链接：
https://hf-mirror.com/datasets/flaitenberger/proofwriter_gold_formalized
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: dataset
dtype: string
- name: subset
dtype: 'null'
- name: split
dtype: string
- name: index
dtype: int64
- name: question
dtype: string
- name: formalized_prompt
dtype: string
- name: formalized_constants
dtype: string
- name: formalized_predicates
dtype: string
- name: formalized_premises
dtype: string
- name: natural_language_premises
dtype: string
- name: formalized_conclusion
dtype: string
- name: formalization_syntax_ok
dtype: bool
- name: formalization_format_ok
dtype: bool
- name: formalization_errors
dtype: string
- name: formalization_problematic
dtype: bool
- name: formalization_warnings
dtype: string
- name: formalization_turns_used
dtype: int64
- name: formalization_self_judge_complete
dtype: bool
- name: formalization_self_judge_missing
dtype: string
- name: formalization_raw_output
dtype: string
- name: ground_truth
dtype: string
- name: reference_answers
list: string
- name: correctness_scorer
dtype: string
- name: value_normalizer
dtype: string
- name: source_row
dtype: string
splits:
- name: train
num_bytes: 2703780685
num_examples: 585552
download_size: 247401571
dataset_size: 2703780685
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
提供机构：
flaitenberger
