["size_categories:n<1K", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "region:us"]
[{"name": "defs", "list": "string"}, {"name": "symbols", "list": "string"}, {"name": "lemma", "dtype": "string"}, {"name": "theory_file", "dtype": "string"}, {"name": "prediction", "dtype": "string"}, {"name": "passes_generation", "dtype": "bool"}, {"name": "passes_syntax", "dtype": "bool"}, {"name": "passes_counterexample", "dtype": "bool"}]