task_categories:text-generation language:en license:apache-2.0 size_categories:1M<n<10M format:json modality:text library:datasets library:pandas library:mlcroissant library:polars region:us formal-mathematics lean4 statement-autoformalization proof-autoformalization proof-step-prediction solution-step-prediction solution-step-drafting whole-solution-generation whole-solution-drafting