task_categories:translation task_categories:text-generation language:en license:apache-2.0 size_categories:100K<n<1M format:json modality:text library:datasets library:dask library:mlcroissant library:polars arxiv:2311.03755 region:us mathematics autoformalization lean isabelle