https://arxiv.org/pdf/2306.07934.pdf
license:cc-by-4.0 arxiv:2306.07934 region:us
{"license": "cc-by-4.0", "dataset_info": {"features": [{"name": "proof", "dtype": "string"}, {"name": "example", "dtype": "string"}, {"name": "label", "dtype": "string"}, {"name": "rules", "dtype": "string"}, {"name": "preferences", "dtype": "string"}, {"name": "theory", "dtype": "string"}, {"name": "goal", "dtype": "string"}, {"name": "facts", "dtype": "string"}, {"name": "config", "dtype": "string"}], "splits": [{"name": "test", "num_bytes": 54209160, "num_examples": 15000}, {"name": "train", "num_bytes": 55055604, "num_examples": 15000}, {"name": "valid", "num_bytes": 27317650, "num_examples": 7500}], "download_size": 34032485, "dataset_size": 136582414}}
TAGS
#license-cc-by-4.0 #arxiv-2306.07934 #region-us 

URL
TAGS
#license-cc-by-4.0 #arxiv-2306.07934 #region-us 
