["size_categories:n<1K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "instruction", "dtype": "string"}, {"name": "input", "dtype": "string"}, {"name": "output", "list": [{"name": "reasoning", "dtype": "string"}, {"name": "step", "dtype": "int64"}, {"name": "operation", "dtype": "string"}, {"name": "step_status", "dtype": "string"}, {"name": "z3_code", "dtype": "string"}, {"name": "z3_status", "dtype": "string"}, {"name": "validation", "struct": [{"name": "reasoning", "dtype": "string"}, {"name": "z3_validation_result", "dtype": "string"}]}, {"name": "retry", "dtype": "int64"}, {"name": "retry_reason", "dtype": "string"}, {"name": "retry_status", "dtype": "string"}, {"name": "final_status", "dtype": "string"}]}]