["size_categories:10K<n<100K", "format:parquet", "modality:tabular", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "id", "dtype": "string"}, {"name": "fsm_json", "dtype": "string"}, {"name": "string", "dtype": "string"}, {"name": "label", "dtype": "string"}, {"name": "difficulty_level", "dtype": "int64"}, {"name": "num_states", "dtype": "int64"}, {"name": "num_transitions", "dtype": "int64"}, {"name": "dot", "dtype": "string"}]