DeepCoder-Preview-Dataset

Name: DeepCoder-Preview-Dataset
Creator: keyjjjj
Published: 2025-05-31T12:01:01+08:00

AI_Studio2025-09-01 更新2025-05-31 收录

程序合成

编程研究

数据链接：

https://aistudio.baidu.com/datasetdetail/336130 数据链接链接失效反馈

官方服务：

资源简介：

用于程序合成研究的编程问题数据集预览版。

A preview version of a programming problem dataset for program synthesis research.

提供机构：

CodeARC是一个用于评估大型语言模型在归纳程序合成方面的推理能力的新框架。该数据集包含1114个函数，旨在解决归纳程序合成的问题，其中代理需要与隐藏的目标函数交互，通过查询新的输入、合成候选函数，并使用微分测试代理来检查合成函数的正确性。数据集针对通用编程任务，采用两种最先进的微分测试工具进行正确性评估。

arXiv2025-03-30 更新570

XLOGOMINIPROG

视觉编程

程序合成

XLOGOMINIPROG是由马克斯·普朗克软件系统研究所和特里尔大学合作创建的视觉编程领域程序合成基准数据集。该数据集包含85个来自XLogoOnline平台Mini级别的真实世界任务，每个任务都要求结合空间规划、基础编程和逻辑推理等多种技能。数据集的创建过程涉及使用任务合成技术自动生成高质量任务，并通过模拟器反馈设计训练数据分布的课程。XLOGOMINIPROG旨在评估大型模型在需要多种技能的

arXiv2024-06-17 更新170

OpInstruct-HSx

机器学习

程序合成

OpInstruct-HSx是一个专门为训练大型语言模型（LLM）在程序合成、语义等价推理和形式验证而设计的 Haskell 函数精选数据集。它源自 NVIDIA 开发的开源代码指令调整的大型 Python 数据集 OpenCodeInstruct，并使用 DeepSeek-R1-Distill-Llama-70B 翻译成 Haskell。每个样本都经过语法正确性、类型安全性和运行时行为的验证，确

Hugging Face2025-08-14 更新120

Dataset of Sketches

组合问题

程序合成

该数据集包含了21个经典的组合问题，其中大部分属于NP完全问题。该数据集是系统性地为了评估SkASP方法而设计的，选择了具有信息性的编码和示例。规模上，它涵盖了21个知名的谜题和组合问题。该数据集的任务是评估程序合成技术以及SkASP方法的使用效能。

arXiv230

LOGO

图形组合

程序合成

该数据集专门用于图形组合领域的归纳程序合成。此外，该数据集还与DreamCoder先前的结果进行了比较，以评估其在图形组合诱导程序合成任务中的表现。

arXiv150