["size_categories:1K<n<10K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "problem_name", "dtype": "string"}, {"name": "sample_info", "struct": [{"name": "algorithm", "dtype": "string"}, {"name": "cost", "dtype": "int64"}, {"name": "datetime", "dtype": "string"}]}, {"name": "formal_statement", "dtype": "string"}, {"name": "proof_code", "dtype": "string"}, {"name": "result", "dtype": "string"}, {"name": "status", "dtype": "string"}]