TACO: 突破算法代码生成的新里程碑

RayRay
TACO代码生成算法数据集模型评估Github开源项目

TACO数据集简介

TACO(Topics in Algorithmic COde generation dataset)是由北京智源人工智能研究院(BAAI)、山东师范大学和北京大学联合开发的一个专注于算法代码生成的大规模数据集。它旨在为代码生成模型领域提供更具挑战性的训练数据集和评估基准。TACO数据集的问题来源于编程竞赛,这些问题比传统的代码生成任务更加困难,更接近实际的编程场景。

TACO logo

TACO数据集的主要特点包括:

  1. 大规模: TACO包含25,443个训练问题和1,000个测试问题,是目前最大的代码生成数据集。
  2. 高质量: 每个问题都配有多样化的解答方案,解答规模高达1.55M,确保模型在训练过程中不会过拟合,并验证评估结果的有效性。
  3. 细粒度标签: 每个问题都包含任务主题、算法、技能和难度级别等细粒度标签,为代码生成模型的训练和评估提供更精确的参考。

TACO数据集的使用方法

下载和加载数据集

TACO数据集可以通过Hugging Face或BAAI DataHub下载使用。以下是使用Python的datasets库加载TACO数据集的示例代码:

from datasets import load_dataset # 加载整个数据集 taco = load_dataset('BAAI/TACO', token=YOUR_HF_TOKEN) # 加载特定分割(训练集或测试集) taco_train = load_dataset('BAAI/TACO', split='train', token=YOUR_HF_TOKEN) # 根据难度级别加载数据集 taco_difficulties = load_dataset('BAAI/TACO', difficulties=['EASY'], token=YOUR_HF_TOKEN) # 根据编程技能加载数据集 taco_skills = load_dataset('BAAI/TACO', skills=['Sorting', 'Range queries'], token=YOUR_HF_TOKEN)

使用TACO进行模型评估

要使用TACO对代码生成模型进行评估,首先需要初始化模型、分词器以及要使用的难度级别或技能。以下是一个使用CodeLlama-7b模型进行评估的示例:

from transformers import AutoTokenizer, AutoModelForCausalLM # 初始化模型和分词器 model_name = 'codellama/CodeLlama-7b-hf' tokenizer = AutoTokenizer.from_pretrained(model_name) model = AutoModelForCausalLM.from_pretrained(model_name) device = "cuda:0" model = model.to(device) # 初始化评估数据集 difficulties = ['ALL'] taco = load_dataset('BAAI/TACO', split='test', difficulties=difficulties) # 运行生成 n_samples = 200 temperature = 0.2 top_p = 0.95 output = [] for idx, sample in enumerate(taco): prompt = sample['question'] results = {"task_id": idx, "prompt": prompt} generations = [] for i in range(n_samples): seed = i generation = predict(device, model, tokenizer, prompt, seed, top_p, temperature, max_length=2048) clean_code = truncate_after_eof_strings(generation) generations.append(clean_code) results["output"] = generations output.append(results)

完整的评估过程包括代码生成和指标计算两个步骤。TACO项目提供了generation.pycompute_metric.py两个脚本,分别用于生成代码样本和计算pass@k指标。

TACO数据集的统计特征

TACO数据集在多个维度上都优于现有的代码生成数据集。以下是TACO与其他数据集的对比:

对比维度TACOCodeContestAPPSHumanEval(/-X)MBP(/X)P
问题规模 (训练/开发/测试)25443/-/100013328/117/1655000/-/5000-/-/164374/-/500
测试集中无答案数量043/1651235/500000
问题重复无重复无重复无重复已移除重复已移除重复
答案重复已移除重复无重复无重复已移除重复已移除重复
每个问题的测试用例数202.3203.720.997.773
任务主题
算法标签
编程技能
难度标签

TACO数据集中的算法标签和编程技能分布如下:

算法标签分布

编程技能分布

使用TACO进行模型微调

TACO数据集不仅可以用于评估,还可以用于模型微调。以下是使用TACO训练集进行模型微调的步骤:

  1. 预处理和标记化数据:
python pretokenizing.py \ --tokenizer_dir codellama/CodeLlama-7b-hf \ --cache_dir . \ --dataset_name codellama_tokenized
  1. 使用预处理后的数据进行微调:
torchrun --nproc_per_node=8 --nnodes=1 train.py \ --model_name_or_path codellama/CodeLlama-7b-hf \ --data_path codellama_tokenized \ --bf16 True \ --output_dir codellama_ft \ --num_train_epochs 2 \ --per_device_train_batch_size 4 \ --gradient_accumulation_steps 8 \ --evaluation_strategy "no" \ --save_strategy "steps" \ --save_steps 500 \ --save_total_limit 1 \ --learning_rate 5e-5 \ --weight_decay 0.1 \ --warmup_ratio 0.1 \ --logging_steps 1 \ --resume_from_checkpoint True \ --gradient_checkpointing True \ --deepspeed ds_configs/deepspeed_z2_config_bf16.json

TACO评估结果

研究团队使用TACO测试集和训练集对GPT-4和一个在大量代码数据上训练的代码生成模型进行了实验。结果显示:

  1. TACO测试集具有高度挑战性。即使是GPT-4,在简单难度级别上的pass@1分数也仅为31.5%。除GPT-4外,其他代码模型在五个难度级别上的pass@1分数普遍低于10%。

难度评估结果

  1. 利用TACO训练集的细粒度标签可以有选择性地提高代码生成模型的性能。例如,在使用TACO训练集对starcoder-1b进行特定技能的微调后,性能有明显提升。

技能评估结果

TACO的意义和影响

TACO数据集的发布对代码生成领域具有重要意义:

  1. 提供更高挑战性的基准: TACO测试集的高难度为评估和改进代码生成模型提供了新的标准。
  2. 促进模型能力的全面提升: 通过包含多样化的算法和编程技能,TACO有助于培养模型在实际编程场景中的综合能力。
  3. 支持精细化的模型训练: 细粒度的标签使研究人员能够针对特定难度或技能进行有针对性的模型优化。
  4. 推动代码生成技术的实际应用: TACO的问题更接近实际编程挑战,有助于缩小模型性能与实际应用需求之间的差距。

结语

TACO数据集的发布标志着算法代码生成领域迈出了重要一步。它不仅为研究人员提供了一个高质量、大规模的评估基准,还为提高代码生成模型的实际应用能力提供了宝贵的训练资源。随着TACO的广泛应用,我们有理由期待看到更多突破性的代码生成模型和技术的涌现,进一步推动人工智能辅助编程的发展。

研究人员和开发者可以通过GitHub仓库访问TACO项目,获取最新的数据集、评估工具和相关资源。同时,TACO团队也鼓励社区贡献者参与到数据集的改进和应用中来,共同推动代码生成技术的进步。

编辑推荐精选

讯飞智文

讯飞智文

一键生成PPT和Word,让学习生活更轻松

讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。

AI办公办公工具AI工具讯飞智文AI在线生成PPTAI撰写助手多语种文档生成AI自动配图热门
讯飞星火

讯飞星火

深度推理能力全新升级,全面对标OpenAI o1

科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。

热门AI开发模型训练AI工具讯飞星火大模型智能问答内容创作多语种支持智慧生活
Spark-TTS

Spark-TTS

一种基于大语言模型的高效单流解耦语音令牌文本到语音合成模型

Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。

Trae

Trae

字节跳动发布的AI编程神器IDE

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
咔片PPT

咔片PPT

AI助力,做PPT更简单!

咔片是一款轻量化在线演示设计工具,借助 AI 技术,实现从内容生成到智能设计的一站式 PPT 制作服务。支持多种文档格式导入生成 PPT,提供海量模板、智能美化、素材替换等功能,适用于销售、教师、学生等各类人群,能高效制作出高品质 PPT,满足不同场景演示需求。

讯飞绘文

讯飞绘文

选题、配图、成文,一站式创作,让内容运营更高效

讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。

热门AI辅助写作AI工具讯飞绘文内容运营AI创作个性化文章多平台分发AI助手
材料星

材料星

专业的AI公文写作平台,公文写作神器

AI 材料星,专业的 AI 公文写作辅助平台,为体制内工作人员提供高效的公文写作解决方案。拥有海量公文文库、9 大核心 AI 功能,支持 30 + 文稿类型生成,助力快速完成领导讲话、工作总结、述职报告等材料,提升办公效率,是体制打工人的得力写作神器。

openai-agents-python

openai-agents-python

OpenAI Agents SDK,助力开发者便捷使用 OpenAI 相关功能。

openai-agents-python 是 OpenAI 推出的一款强大 Python SDK,它为开发者提供了与 OpenAI 模型交互的高效工具,支持工具调用、结果处理、追踪等功能,涵盖多种应用场景,如研究助手、财务研究等,能显著提升开发效率,让开发者更轻松地利用 OpenAI 的技术优势。

Hunyuan3D-2

Hunyuan3D-2

高分辨率纹理 3D 资产生成

Hunyuan3D-2 是腾讯开发的用于 3D 资产生成的强大工具,支持从文本描述、单张图片或多视角图片生成 3D 模型,具备快速形状生成能力,可生成带纹理的高质量 3D 模型,适用于多个领域,为 3D 创作提供了高效解决方案。

3FS

3FS

一个具备存储、管理和客户端操作等多种功能的分布式文件系统相关项目。

3FS 是一个功能强大的分布式文件系统项目,涵盖了存储引擎、元数据管理、客户端工具等多个模块。它支持多种文件操作,如创建文件和目录、设置布局等,同时具备高效的事件循环、节点选择和协程池管理等特性。适用于需要大规模数据存储和管理的场景,能够提高系统的性能和可靠性,是分布式存储领域的优质解决方案。

下拉加载更多