task_categories:text-generation language:en license:mit size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us lean formal-verification mathematics physics theorem-proving code-repair