task_categories:text-generation size_categories:10K<n<100K format:json modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2507.16331 region:us code-generation formal-verification dafny reinforcement-learning