pkuAI4M/minif2f-lean4-normalized
收藏Hugging Face2024-09-04 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/pkuAI4M/minif2f-lean4-normalized
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: id
dtype: string
- name: split
dtype: string
- name: formal_statement
dtype: string
- name: informal_statement
dtype: string
- name: informal_proof
dtype: string
- name: header
dtype: string
- name: passed
dtype: bool
- name: validation_detail
dtype: string
- name: lean_toolchain
dtype: string
splits:
- name: validation
num_bytes: 390116
num_examples: 244
- name: test
num_bytes: 416115
num_examples: 244
download_size: 273318
dataset_size: 806231
configs:
- config_name: default
data_files:
- split: validation
path: data/validation-*
- split: test
path: data/test-*
---
提供机构：
pkuAI4M
