task_categories:text-generation language:en license:apache-2.0 size_categories:100K<n<1M format:parquet modality:text library:datasets library:dask library:mlcroissant library:polars arxiv:2508.04440 arxiv:2109.00110 arxiv:2302.12433 arxiv:2407.11214 arxiv:2505.02735 region:us Autoformalization Lean4