autores/DSP1.5RL-minif2f-sampling_4
收藏Hugging Face2024-11-08 更新2025-04-26 收录
下载链接：
https://hf-mirror.com/datasets/autores/DSP1.5RL-minif2f-sampling_4
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: problem_name
dtype: string
- name: sample_info
struct:
- name: algorithm
dtype: string
- name: cost
dtype: int64
- name: datetime
dtype: string
- name: formal_statement
dtype: string
- name: proof_code
dtype: string
- name: result
dtype: string
- name: status
dtype: string
splits:
- name: all
num_bytes: 7401628
num_examples: 1952
download_size: 2073963
dataset_size: 7401628
configs:
- config_name: default
data_files:
- split: all
path: data/all-*
---
提供机构：
autores
