CLEVDEV/ds_with_ops

--- dataset_info: features: - name: task_id dtype: string - name: source dtype: string - name: difficulty dtype: string - name: title dtype: string - name: description dtype: string - name: tags list: string - name: rating dtype: int64 - name: examples list: - name: input dtype: string - name: output dtype: string - name: synthetic_tests list: - name: input dtype: string - name: output dtype: string - name: tests list: - name: input dtype: string - name: iterative_ops struct: - name: cpu_sys_us dtype: int64 - name: cpu_user_us dtype: int64 - name: error dtype: 'null' - name: op_count dtype: int64 - name: status dtype: string - name: wall_ns dtype: int64 - name: original_ops struct: - name: cpu_sys_us dtype: 'null' - name: cpu_user_us dtype: 'null' - name: error dtype: 'null' - name: op_count dtype: 'null' - name: status dtype: 'null' - name: wall_ns dtype: 'null' - name: output dtype: string - name: recursive_ops struct: - name: cpu_sys_us dtype: int64 - name: cpu_user_us dtype: int64 - name: error dtype: string - name: op_count dtype: int64 - name: status dtype: string - name: wall_ns dtype: int64 - name: method dtype: string - name: logic_type dtype: string - name: transform_status dtype: string - name: retries dtype: int64 - name: iterative_solution dtype: string - name: recursive_solution dtype: string - name: original_passed dtype: bool - name: original_num_passed dtype: int64 - name: original_total dtype: int64 - name: converted_passed dtype: bool - name: converted_num_passed dtype: int64 - name: converted_total dtype: int64 - name: conversion_quality dtype: string - name: paradigm_reason dtype: string - name: pair_verified dtype: bool - name: id dtype: int64 - name: ops_summary struct: - name: iterative struct: - name: max dtype: float64 - name: mean dtype: float64 - name: min dtype: float64 - name: n dtype: int64 - name: original struct: - name: max dtype: 'null' - name: mean dtype: 'null' - name: min dtype: 'null' - name: n dtype: 'null' - name: recursive struct: - name: max dtype: float64 - name: mean dtype: float64 - name: min dtype: float64 - name: n dtype: int64 splits: - name: train num_bytes: 183872 num_examples: 16 download_size: 196614 dataset_size: 183872 configs: - config_name: default data_files: - split: train path: data/train-* ---数据集信息： 特征项： - 名称：任务ID（task_id） 数据类型：字符串（string） - 名称：来源（source） 数据类型：字符串（string） - 名称：难度（difficulty） 数据类型：字符串（string） - 名称：标题（title） 数据类型：字符串（string） - 名称：描述（description） 数据类型：字符串（string） - 名称：标签（tags） 数据类型：字符串列表 - 名称：评分（rating） 数据类型：64位整数（int64） - 名称：示例（examples） 数据类型：列表，列表元素为： - 名称：输入（input） 数据类型：字符串（string） - 名称：输出（output） 数据类型：字符串（string） - 名称：合成测试用例（synthetic_tests） 数据类型：列表，列表元素为： - 名称：输入（input） 数据类型：字符串（string） - 名称：输出（output） 数据类型：字符串（string） - 名称：测试用例（tests） 数据类型：列表，列表元素为： - 名称：输入（input） 数据类型：字符串（string） - 名称：迭代操作（iterative_ops） 数据类型：结构体，结构体字段为： - 名称：CPU内核态耗时（微秒，cpu_sys_us） 数据类型：64位整数（int64） - 名称：CPU用户态耗时（微秒，cpu_user_us） 数据类型：64位整数（int64） - 名称：错误信息（error） 数据类型：空值（null） - 名称：操作计数（op_count） 数据类型：64位整数（int64） - 名称：状态（status） 数据类型：字符串（string） - 名称：墙钟时间（纳秒，wall_ns） 数据类型：64位整数（int64） - 名称：原始操作（original_ops） 数据类型：结构体，结构体字段为： - 名称：CPU内核态耗时（微秒，cpu_sys_us） 数据类型：空值（null） - 名称：CPU用户态耗时（微秒，cpu_user_us） 数据类型：空值（null） - 名称：错误信息（error） 数据类型：空值（null） - 名称：操作计数（op_count） 数据类型：空值（null） - 名称：状态（status） 数据类型：空值（null） - 名称：墙钟时间（纳秒，wall_ns） 数据类型：空值（null） - 名称：输出（output） 数据类型：字符串（string） - 名称：递归操作（recursive_ops） 数据类型：结构体，结构体字段为： - 名称：CPU内核态耗时（微秒，cpu_sys_us） 数据类型：64位整数（int64） - 名称：CPU用户态耗时（微秒，cpu_user_us） 数据类型：64位整数（int64） - 名称：错误信息（error） 数据类型：字符串（string） - 名称：操作计数（op_count） 数据类型：64位整数（int64） - 名称：状态（status） 数据类型：字符串（string） - 名称：墙钟时间（纳秒，wall_ns） 数据类型：64位整数（int64） - 名称：求解方法（method） 数据类型：字符串（string） - 名称：逻辑类型（logic_type） 数据类型：字符串（string） - 名称：转换状态（transform_status） 数据类型：字符串（string） - 名称：重试次数（retries） 数据类型：64位整数（int64） - 名称：迭代解法（iterative_solution） 数据类型：字符串（string） - 名称：递归解法（recursive_solution） 数据类型：字符串（string） - 名称：原始测试通过情况（original_passed） 数据类型：布尔值（bool） - 名称：原始测试通过数（original_num_passed） 数据类型：64位整数（int64） - 名称：原始测试总用例数（original_total） 数据类型：64位整数（int64） - 名称：转换后测试通过情况（converted_passed） 数据类型：布尔值（bool） - 名称：转换后测试通过数（converted_num_passed） 数据类型：64位整数（int64） - 名称：转换后测试总用例数（converted_total） 数据类型：64位整数（int64） - 名称：转换质量（conversion_quality） 数据类型：字符串（string） - 名称：范式原因（paradigm_reason） 数据类型：字符串（string） - 名称：配对验证结果（pair_verified） 数据类型：布尔值（bool） - 名称：样本ID（id） 数据类型：64位整数（int64） - 名称：操作统计摘要（ops_summary） 数据类型：结构体，结构体字段为： - 名称：迭代统计（iterative） 数据类型：结构体，结构体字段为： - 名称：最大值（max） 数据类型：64位浮点数（float64） - 名称：平均值（mean） 数据类型：64位浮点数（float64） - 名称：最小值（min） 数据类型：64位浮点数（float64） - 名称：样本量（n） 数据类型：64位整数（int64） - 名称：原始统计（original） 数据类型：结构体，结构体字段为： - 名称：最大值（max） 数据类型：空值（null） - 名称：平均值（mean） 数据类型：空值（null） - 名称：最小值（min） 数据类型：空值（null） - 名称：样本量（n） 数据类型：空值（null） - 名称：递归统计（recursive） 数据类型：结构体，结构体字段为： - 名称：最大值（max） 数据类型：64位浮点数（float64） - 名称：平均值（mean） 数据类型：64位浮点数（float64） - 名称：最小值（min） 数据类型：64位浮点数（float64） - 名称：样本量（n） 数据类型：64位整数（int64） 数据集划分： - 划分名称：训练集（train） 字节数：183872 样本数：16 下载大小：196614 数据集总大小：183872 配置项： - 配置名称：默认配置（default） 数据文件： - 划分：训练集（train） 路径：data/train-*

搜集汇总

数据集介绍

构建方式

在编程语言与算法研究领域，ds_with_ops数据集通过系统化的方法构建而成。其核心流程涉及从多样化来源收集编程任务，每个任务均包含问题描述、示例及测试用例。特别地，数据集对每个任务实施了迭代与递归两种范式的解决方案转换，并在此过程中详尽记录了计算操作（ops）的统计指标，如CPU时间、操作计数及执行状态，从而形成了兼具代码功能与运行时性能分析的结构化数据。

特点

该数据集的显著特征在于其多维度的标注体系。除了传统的任务元数据（如难度、标签、评分）外，它深度整合了算法范式转换的验证信息，包括转换状态、通过率及质量评估。尤为独特的是，数据集嵌入了细粒度的性能分析字段，能够对比迭代与递归解法在操作计数和执行时间上的差异，为研究算法效率与范式选择提供了实证基础。

使用方法

研究人员可利用该数据集进行算法范式分析与程序转换研究。通过加载数据集，可直接访问任务的描述、解决方案及对应的性能指标。典型应用包括：分析迭代与递归策略的性能特征，评估自动代码转换技术的有效性，或基于操作统计构建算法复杂度预测模型。数据中丰富的测试用例与验证状态也支持对程序正确性进行自动化评估与基准测试。

背景与挑战

背景概述

在编程语言与算法研究领域，代码转换与性能分析一直是核心议题。ds_with_ops数据集由相关研究团队构建，旨在深入探索迭代与递归编程范式之间的自动转换机制及其运行时性能特征。该数据集聚焦于算法逻辑的等价变换，通过系统化收集编程任务及其对应的迭代与递归解决方案，并精确记录CPU时间、操作计数等底层性能指标，为理解不同编程范式的计算效率与资源消耗提供了实证基础。其创建推动了程序自动优化、编译器设计及算法教学等领域的发展，为跨范式代码生成与性能评估建立了重要的基准资源。

当前挑战

该数据集致力于解决编程范式转换中的性能等价性验证问题，其核心挑战在于确保迭代与递归算法在功能一致性的前提下，如何准确量化与比较其时间复杂度和空间开销。构建过程中的挑战涉及多维度：需设计涵盖不同难度与逻辑类型的多样化编程任务；精确收集与标注运行时性能数据，如CPU时间和操作计数，这要求严密的测试环境控制；同时，验证转换后代码的正确性与性能一致性，需克服算法等价性证明与性能波动性测量等难题。这些挑战共同构成了数据集在算法分析与自动编程研究中的关键瓶颈。

常用场景

经典使用场景

在编程语言与算法研究领域，ds_with_ops数据集为迭代与递归范式转换提供了基准测试平台。该数据集通过包含任务描述、输入输出示例及详细的性能指标，如CPU时间、操作计数和状态信息，使得研究人员能够系统评估不同编程范式在解决相同逻辑问题时的效率差异。经典使用场景涉及自动化代码转换工具的验证，其中模型需将迭代解决方案转化为递归形式，或反之，并确保功能正确性与性能可衡量。

解决学术问题

该数据集有效解决了算法范式比较中的核心学术问题，包括迭代与递归在时间空间复杂度上的量化对比，以及转换过程中语义一致性的保证。通过提供结构化的性能摘要和转换质量标签，它助力于探索编程语言理论中的等价性证明，并为编译器优化、程序合成领域提供了实证基础。其意义在于推动了自动化代码重构的研究，减少了人工转换的主观偏差，促进了算法设计原则的标准化评估。

衍生相关工作

围绕ds_with_ops数据集，衍生了一系列经典研究工作，主要集中在程序转换模型的训练与评估。例如，基于该数据集的神经网络模型被设计用于预测范式转换的可行性，同时相关研究探讨了递归与迭代在特定硬件架构上的性能模式。这些工作进一步扩展至代码生成领域，推动了如代码补全、缺陷检测等工具的演进，并丰富了计算复杂性理论的实证分析。