["size_categories:n<1K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "id", "dtype": "string"}, {"name": "formal_stmt", "dtype": "string"}, {"name": "header", "dtype": "string"}, {"name": "informal_stmt", "dtype": "string"}, {"name": "aug_id", "dtype": "string"}, {"name": "generated_formal_stmt", "dtype": "string"}, {"name": "validation", "dtype": "string"}, {"name": "validation_detail", "dtype": "string"}, {"name": "prompt", "dtype": "string"}, {"name": "back_translate", "dtype": "string"}, {"name": "nil_output", "dtype": "string"}, {"name": "nil_output_final", "dtype": "string"}]