# Dataset Card for "proofs"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)
region:us
{"dataset_info": {"features": [{"name": "intermediate_conclusions", "struct": [{"name": "int1", "dtype": "string"}, {"name": "int10", "dtype": "string"}, {"name": "int11", "dtype": "string"}, {"name": "int12", "dtype": "string"}, {"name": "int13", "dtype": "string"}, {"name": "int14", "dtype": "string"}, {"name": "int15", "dtype": "string"}, {"name": "int16", "dtype": "string"}, {"name": "int17", "dtype": "string"}, {"name": "int2", "dtype": "string"}, {"name": "int3", "dtype": "string"}, {"name": "int4", "dtype": "string"}, {"name": "int5", "dtype": "string"}, {"name": "int6", "dtype": "string"}, {"name": "int7", "dtype": "string"}, {"name": "int8", "dtype": "string"}, {"name": "int9", "dtype": "string"}]}, {"name": "step_proof", "dtype": "string"}, {"name": "triples", "struct": [{"name": "sent1", "dtype": "string"}, {"name": "sent10", "dtype": "string"}, {"name": "sent11", "dtype": "string"}, {"name": "sent12", "dtype": "string"}, {"name": "sent13", "dtype": "string"}, {"name": "sent14", "dtype": "string"}, {"name": "sent15", "dtype": "string"}, {"name": "sent16", "dtype": "string"}, {"name": "sent17", "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": "hypothesis", "dtype": "string"}, {"name": "question", "dtype": "string"}, {"name": "answer", "dtype": "string"}], "splits": [{"name": "train", "num_bytes": 1296774, "num_examples": 1313}], "download_size": 609276, "dataset_size": 1296774}}
TAGS
#region-us 

# Dataset Card for "proofs"

More Information needed
# Dataset Card for "proofs"

More Information needed
TAGS
#region-us 
 # Dataset Card for "proofs"

More Information needed