["size_categories:10K<n<100K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "id", "dtype": "string"}, {"name": "status", "dtype": "string"}, {"name": "tactic", "dtype": "string"}, {"name": "state_before", "dtype": "string"}, {"name": "state_after", "dtype": "string"}, {"name": "natural_language_statement", "dtype": "string"}, {"name": "answer", "dtype": "string"}, {"name": "formal_statement", "dtype": "string"}, {"name": "input", "dtype": "string"}]