task_categories:text-generation language:en license:cc-by-sa-4.0 size_categories:100K<n<1M format:json modality:text library:datasets library:pandas library:polars library:mlcroissant arxiv:2512.15489 arxiv:2508.10925 arxiv:2508.03613 region:us mathematical-reasoning lean4 proof-generation theorem-proving synthetic-data