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团队也鼓励社区贡献者参与到数据集的改进和应用中来,共同推动代码生成技术的进步。

编辑推荐精选

TRAE编程

TRAE编程

AI辅助编程,代码自动修复

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

热门AI工具生产力协作转型TraeAI IDE
蛙蛙写作

蛙蛙写作

AI小说写作助手,一站式润色、改写、扩写

蛙蛙写作—国内先进的AI写作平台,涵盖小说、学术、社交媒体等多场景。提供续写、改写、润色等功能,助力创作者高效优化写作流程。界面简洁,功能全面,适合各类写作者提升内容品质和工作效率。

AI助手AI工具AI写作工具AI辅助写作蛙蛙写作学术助手办公助手营销助手
问小白

问小白

全能AI智能助手,随时解答生活与工作的多样问题

问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。

聊天机器人AI助手热门AI工具AI对话
Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

讯飞智文

讯飞智文

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

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

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

讯飞星火

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

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

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

Spark-TTS

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

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

咔片PPT

咔片PPT

AI助力,做PPT更简单!

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

讯飞绘文

讯飞绘文

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

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

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

材料星

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

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

下拉加载更多