["size_categories:1K<n<10K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "answer_id", "dtype": "int64"}, {"name": "informal_proof", "dtype": "string"}, {"name": "formal_proof", "dtype": "string"}, {"name": "informal_statement", "dtype": "string"}, {"name": "task_id", "dtype": "int64"}, {"name": "formal_statement", "dtype": "string"}, {"name": "problem_id", "dtype": "int64"}, {"name": "header", "dtype": "string"}, {"name": "passed", "dtype": "bool"}, {"name": "validation_detail", "dtype": "string"}]