Name: hitachi-nlp/proofwriter_processed_OWA
Creator: hitachi-nlp
Published: 2024-06-08 07:22:09
License: 暂无描述

下载链接：

https://hf-mirror.com/datasets/hitachi-nlp/proofwriter_processed_OWA

下载链接

链接失效反馈

官方服务：

资源简介：

--- dataset_info: - config_name: NatLang features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q17 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q18 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q19 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q20 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q21 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q22 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q23 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q24 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: mappings struct: - name: triple1 dtype: string - name: triple2 dtype: string - name: triple3 dtype: string - name: triple4 dtype: string - name: triple5 dtype: string - name: triple6 dtype: string - name: triple7 dtype: string - name: triple8 dtype: string - name: triple9 dtype: string - name: triple10 dtype: string - name: rule1 dtype: string - name: rule2 dtype: string - name: rule3 dtype: string - name: rule4 dtype: string - name: rule5 dtype: string - name: rule6 dtype: string - name: rule7 dtype: string - name: triple11 dtype: string - name: triple12 dtype: string - name: sentences struct: - name: sent1 dtype: string - name: sent2 dtype: string - name: sent3 dtype: string - name: sent4 dtype: string - name: sent5 dtype: string - name: sent6 dtype: string - name: sent7 dtype: string - name: sent8 dtype: string - name: sent9 dtype: string - name: sent10 dtype: string - name: sent11 dtype: string splits: - name: train num_bytes: 18298350 num_examples: 1681 - name: dev num_bytes: 2702658 num_examples: 240 - name: test num_bytes: 5116838 num_examples: 482 download_size: 4115379 dataset_size: 26117846 - config_name: birds-electricity features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: rule9 struct: - name: text dtype: string - name: representation dtype: string - name: rule10 struct: - name: text dtype: string - name: representation dtype: string - name: rule11 struct: - name: text dtype: string - name: representation dtype: string - name: rule12 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates sequence: 'null' - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates sequence: 'null' - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates sequence: 'null' - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates sequence: 'null' - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q17 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q18 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q19 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q20 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q21 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q22 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q23 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q24 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q25 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q26 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q27 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q28 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q29 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q30 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q31 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q32 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q33 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q34 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q35 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q36 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q37 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q38 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q39 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q40 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q41 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q42 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q43 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q44 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: test num_bytes: 1284166 num_examples: 140 download_size: 371226 dataset_size: 1284166 - config_name: depth-0 features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 32735051 num_examples: 7834 - name: dev num_bytes: 11295182 num_examples: 2700 - name: test num_bytes: 22569460 num_examples: 5389 download_size: 12518383 dataset_size: 66599693 - config_name: depth-1 features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 43130153 num_examples: 8970 - name: dev num_bytes: 6415213 num_examples: 1318 - name: test num_bytes: 12544059 num_examples: 2607 download_size: 11577397 dataset_size: 62089425 - config_name: depth-2 features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 44281114 num_examples: 6240 - name: dev num_bytes: 6414330 num_examples: 909 - name: test num_bytes: 12933595 num_examples: 1794 download_size: 11207125 dataset_size: 63629039 - config_name: depth-3 features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 49045413 num_examples: 4816 - name: dev num_bytes: 6997932 num_examples: 719 - name: test num_bytes: 14191036 num_examples: 1405 download_size: 11836775 dataset_size: 70234381 - config_name: depth-3ext features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 66750159 num_examples: 8239 - name: dev num_bytes: 9590888 num_examples: 1212 - name: test num_bytes: 19243526 num_examples: 2384 download_size: 17473805 dataset_size: 95584573 - config_name: depth-3ext-NatLang features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q17 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q18 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q19 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q20 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q21 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q22 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q23 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q24 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: mappings struct: - name: triple1 dtype: string - name: triple2 dtype: string - name: triple3 dtype: string - name: triple4 dtype: string - name: triple5 dtype: string - name: triple6 dtype: string - name: triple7 dtype: string - name: triple8 dtype: string - name: triple9 dtype: string - name: triple10 dtype: string - name: triple11 dtype: string - name: triple12 dtype: string - name: rule1 dtype: string - name: rule2 dtype: string - name: rule3 dtype: string - name: rule4 dtype: string - name: rule5 dtype: string - name: rule6 dtype: string - name: rule7 dtype: string - name: sentences struct: - name: sent1 dtype: string - name: sent2 dtype: string - name: sent3 dtype: string - name: sent4 dtype: string - name: sent5 dtype: string - name: sent6 dtype: string - name: sent7 dtype: string - name: sent8 dtype: string - name: sent9 dtype: string - name: sent10 dtype: string - name: sent11 dtype: string splits: - name: train num_bytes: 83658271 num_examples: 9369 - name: dev num_bytes: 12796400 num_examples: 1452 - name: test num_bytes: 25350081 num_examples: 2866 download_size: 22523155 dataset_size: 121804752 - config_name: depth-5 features: - name: id dtype: string - name: maxD dtype: int64 - name: NFact dtype: int64 - name: NRule dtype: int64 - name: theory dtype: string - name: triples struct: - name: triple1 struct: - name: text dtype: string - name: representation dtype: string - name: triple2 struct: - name: text dtype: string - name: representation dtype: string - name: triple3 struct: - name: text dtype: string - name: representation dtype: string - name: triple4 struct: - name: text dtype: string - name: representation dtype: string - name: triple5 struct: - name: text dtype: string - name: representation dtype: string - name: triple6 struct: - name: text dtype: string - name: representation dtype: string - name: triple7 struct: - name: text dtype: string - name: representation dtype: string - name: triple8 struct: - name: text dtype: string - name: representation dtype: string - name: triple9 struct: - name: text dtype: string - name: representation dtype: string - name: triple10 struct: - name: text dtype: string - name: representation dtype: string - name: triple11 struct: - name: text dtype: string - name: representation dtype: string - name: triple12 struct: - name: text dtype: string - name: representation dtype: string - name: triple13 struct: - name: text dtype: string - name: representation dtype: string - name: triple14 struct: - name: text dtype: string - name: representation dtype: string - name: triple15 struct: - name: text dtype: string - name: representation dtype: string - name: triple16 struct: - name: text dtype: string - name: representation dtype: string - name: rules struct: - name: rule1 struct: - name: text dtype: string - name: representation dtype: string - name: rule2 struct: - name: text dtype: string - name: representation dtype: string - name: rule3 struct: - name: text dtype: string - name: representation dtype: string - name: rule4 struct: - name: text dtype: string - name: representation dtype: string - name: rule5 struct: - name: text dtype: string - name: representation dtype: string - name: rule6 struct: - name: text dtype: string - name: representation dtype: string - name: rule7 struct: - name: text dtype: string - name: representation dtype: string - name: rule8 struct: - name: text dtype: string - name: representation dtype: string - name: rule9 struct: - name: text dtype: string - name: representation dtype: string - name: questions struct: - name: Q1 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q2 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q3 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q4 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q5 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q6 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q7 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q8 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q9 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q10 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q11 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q12 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string - name: Q13 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q14 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q15 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q16 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q17 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q18 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q19 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q20 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q21 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q22 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q23 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: Q24 struct: - name: question dtype: string - name: answer dtype: string - name: QDep dtype: int64 - name: QLen dtype: string - name: strategy dtype: string - name: proofs dtype: string - name: representation dtype: string - name: allProofs dtype: string - name: proofDetails list: - name: text dtype: string - name: QDep dtype: int64 - name: representation dtype: string - name: proofsWithIntermediates list: - name: representation dtype: string - name: intermediates list: - name: text dtype: string - name: representation dtype: string - name: id dtype: string splits: - name: train num_bytes: 47429672 num_examples: 1760 - name: dev num_bytes: 11478403 num_examples: 482 - name: test num_bytes: 28872753 num_examples: 948 download_size: 11645527 dataset_size: 87780828 configs: - config_name: NatLang data_files: - split: train path: NatLang/train-* - split: dev path: NatLang/dev-* - split: test path: NatLang/test-* - config_name: birds-electricity data_files: - split: test path: birds-electricity/test-* - config_name: depth-0 data_files: - split: train path: depth-0/train-* - split: dev path: depth-0/dev-* - split: test path: depth-0/test-* - config_name: depth-1 data_files: - split: train path: depth-1/train-* - split: dev path: depth-1/dev-* - split: test path: depth-1/test-* - config_name: depth-2 data_files: - split: train path: depth-2/train-* - split: dev path: depth-2/dev-* - split: test path: depth-2/test-* - config_name: depth-3 data_files: - split: train path: depth-3/train-* - split: dev path: depth-3/dev-* - split: test path: depth-3/test-* - config_name: depth-3ext data_files: - split: train path: depth-3ext/train-* - split: dev path: depth-3ext/dev-* - split: test path: depth-3ext/test-* - config_name: depth-3ext-NatLang data_files: - split: train path: depth-3ext-NatLang/train-* - split: dev path: depth-3ext-NatLang/dev-* - split: test path: depth-3ext-NatLang/test-* - config_name: depth-5 data_files: - split: train path: depth-5/train-* - split: dev path: depth-5/dev-* - split: test path: depth-5/test-* ---

应用场景：

hitachi-nlp/proofwriter_processed_OWA

数据集概述

数据集配置

数据集特征

NatLang

birds-electricity

数据集分割

NatLang

birds-electricity