task_categories:text-generation license:apache-2.0 size_categories:n<1K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2508.03613 region:us mathematics theorem-proving formal-methods lean4