mistral0105/exebench_io_validated_1k

该数据集包含与函数定义、函数头、汇编代码、输入输出对等相关的信息。数据集的特征字段包括路径、函数定义、函数头、函数头类型、文件名、签名、汇编代码、合成依赖、真实依赖、合成输入输出对、真实输入输出对、合成执行包装器、真实执行包装器、参考、合成IO规范、真实IO规范等。数据集包含一个训练集分割，包含1000个样本，总大小为6195336字节。

This dataset contains information related to function definitions, function headers, assembly code, input-output pairs, and more. The feature fields of the dataset include path, function definition, function header, function header types, file name, signature, assembly code, synthetic dependencies, real dependencies, synthetic input-output pairs, real input-output pairs, synthetic execution wrapper, real execution wrapper, reference, synthetic IO specification, real IO specification, etc. The dataset includes a training split with 1000 samples and a total size of 6195336 bytes.

原始信息汇总

数据集概述

数据集信息

特征

• path: 字符串类型
• func_def: 字符串类型
• func_head: 字符串类型
• func_head_types: 字符串类型
• fname: 字符串类型
• signature: 字符串序列
• asm: 结构体
  • code: 字符串序列
  • target: 字符串序列
• synth_deps: 字符串类型
• real_deps: 字符串类型
• synth_io_pairs: 结构体
  • dummy_funcs: 字符串序列
  • dummy_funcs_seed: 整数序列
  • input: 列表
    • value: 字符串序列
    • var: 字符串序列
  • output: 列表
    • value: 字符串序列
    • var: 字符串序列
• real_io_pairs: 结构体
  • dummy_funcs: null
  • dummy_funcs_seed: null
  • input: 列表
    • value: 字符串序列
    • var: 字符串序列
  • output: 列表
    • value: 字符串序列
    • var: 字符串序列
• synth_exe_wrapper: 字符串类型
• real_exe_wrapper: 字符串类型
• ref: 字符串类型
• synth_iospec: 字符串类型
• real_iospec: 字符串类型

数据分割

• train:
  • num_bytes: 6195336
  • num_examples: 1000

数据集大小

• download_size: 1528513
• dataset_size: 6195336

配置

• config_name: default
  • data_files:
    • split: train
    • path: data/train-*