["size_categories:100K<n<1M", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:dask", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "id", "dtype": "string"}, {"name": "maxD", "dtype": "int64"}, {"name": "NFact", "dtype": "int64"}, {"name": "NRule", "dtype": "int64"}, {"name": "theory", "dtype": "string"}, {"name": "question", "dtype": "string"}, {"name": "answer", "dtype": "string"}, {"name": "QDep", "dtype": "int64"}, {"name": "QLen", "dtype": "float64"}, {"name": "allProofs", "dtype": "string"}, {"name": "config", "dtype": "string"}]