chasenorman/rollout-premises-mathlib-v4.30.0
收藏Hugging Face2026-05-27 更新2026-05-31 收录
下载链接：
https://hf-mirror.com/datasets/chasenorman/rollout-premises-mathlib-v4.30.0
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: tactic
dtype: string
- name: roundtrip
dtype: bool
- name: premises
list: string
- name: mainGoalResult
dtype: string
- name: goal
dtype: string
- name: const
dtype: string
splits:
- name: train
num_bytes: 987319
num_examples: 2554
download_size: 232060
dataset_size: 987319
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
提供机构：
chasenorman
