找到8个数据集

标签: 代码转换

过滤结果

  • GitHub_Copilot_Based代码可验证性探索数据集

    2026年2月8日 30 27 15

    数据集概述 本数据集为“Exploring the Verifiability of Code Generated by GitHub Copilot”研究项目的配套数据，包含GitHub Copilot生成的Python代码实现，以及将其转换为Dafny语言并尝试验证的相关内容，用于研究代码生成工具的输出可验证性。 文件详解...
    packageimg

  • vinivendra_Gryphon_转译器研究数据_v1_0_0

    2026年1月27日 30 190 154

    数据集概述 本数据集为Gryphon转译器相关的研究数据，包含1个压缩文件，整体目录结构简单，无训练测试、数据标签或原始处理数据的拆分，未提供自述文件或内容预览，主要用于支持Gryphon转译器的研究工作。 文件详解 文件名称：vinivendra/GryphonResearch-v1.0.0.zip 文件格式：ZIP...
    packageimg

  • 微波超材料高光谱超分辨率成像论文数据集

    2025年12月22日 30 13 11

    数据集概述 该数据集包含论文《微波超表面的深亚波长分辨率高光谱成像》的相关数据与代码，支持论文结果复现，涉及微波超材料高光谱超分辨率成像研究的实验数据、模拟模型及分析代码。 文件详解 文件名称: Data for Hyperspectral super-resolution imaging of microwave metamaterials.zip...
    packageimg

  • BabelCoder_代理代码翻译与规范对齐数据集

    2025年12月21日 30 37 4

    数据集概述 该数据集围绕“代理代码翻译与规范对齐”主题构建，包含一个压缩文件，可能涉及代码翻译任务中代理机制与规范对齐方法的相关数据，未明确划分训练/测试、数据/标签或原始/处理数据。 文件详解 文件名称: dataset.zip 文件格式: ZIP压缩包（.zip） 内容说明: 压缩包内具体文件结构及内容未提供预览，需解压后查看。 适用场景...
    packageimg

  • 代码_理论转换挑战识别研讨会补充材料2

    2025年12月18日 30 142 8

    数据集概述 该数据集为2017年Code/Theory研讨会的补充材料，包含Chiara Del Vescovo的闪电演讲文档，围绕代码与理论转换的挑战展开，为理解相关领域研究问题提供支持。 文件详解 文件名称: oo_121457.pdf 文件格式: PDF (.pdf) 文件内容: 包含Chiara Del...
    packageimg

  • 代码_理论转换挑战识别研讨会补充材料5

    2025年12月18日 30 116 94

    数据集概述 本数据集是2017年代码/理论研讨会的补充材料，包含Dale Mellor的闪电演讲内容，围绕代码与理论转换的挑战展开，为理解跨领域知识转换问题提供定性数据支持。 文件详解 文件名称: oo_121464.pdf 文件格式: PDF (.pdf) 文件内容: 包含Dale...
    packageimg

  • CODNUM穿孔卡片编码转换与编号程序数据集

    2025年11月27日 30 32 11

    数据集概述 该数据集包含CODNUM程序相关文件，用于实现穿孔卡片字符编码转换并在每张卡片最后四列添加连续编号，解决特定编码转换与卡片编号问题，为早期计算机卡片处理提供程序支持。 文件详解 文件名称: acqu_v1_0.gz 文件格式: GZ压缩包（.gz） 文件内容:...
    packageimg

  • Alpaca编程风格代码生成指令数据集

    2025年4月16日 30 101 83

    Alpaca编程风格代码生成指令数据集 数据来源：互联网公开数据 标签：代码生成,编程风格,Alpaca,自然语言处理,机器学习,风格迁移,代码转换,NLP 数据概述：...
    packageimg