task_categories:text-generation language:en license:cc-by-nc-4.0 size_categories:n<1K format:json modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars arxiv:2507.16331 arxiv:2509.23061 region:us code-generation formal-verification reinforcement-learning dafny program-synthesis llm