ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
收藏Hugging Face2026-04-30 更新2026-05-03 收录
下载链接：
https://hf-mirror.com/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: uuid
dtype: string
- name: config_uuid
dtype: string
- name: formal_statement
dtype: string
- name: goal_state
dtype: string
- name: tactic_string
dtype: string
- name: reward
dtype: float64
- name: lemma_names
list: string
- name: lemma_scores
list: float64
splits:
- name: train
num_bytes: 45320255
num_examples: 40965
download_size: 9284376
dataset_size: 45320255
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
提供机构：
ChristianZ97
