AlgorithmicResearchGroup/math_reasoning_autoinformalization_track_1_2
收藏Hugging Face2024-08-19 更新2025-04-08 收录
下载链接：
https://hf-mirror.com/datasets/AlgorithmicResearchGroup/math_reasoning_autoinformalization_track_1_2
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
- config_name: train
features:
- name: name
dtype: string
- name: formal_proof
dtype: string
splits:
- name: train
num_bytes: 1968536
num_examples: 4866
download_size: 793404
dataset_size: 1968536
- config_name: train_label
features:
- name: name
dtype: string
- name: informal_statement
dtype: string
- name: informal_proof
dtype: string
splits:
- name: train
num_bytes: 3110701
num_examples: 4866
download_size: 1483248
dataset_size: 3110701
configs:
- config_name: train
data_files:
- split: train
path: train/train-*
- config_name: train_label
data_files:
- split: train
path: train_label/train-*
---
数据集详情:
- 配置名称: train
特征字段:
- 字段名: name
数据类型: 字符串(string)
- 字段名: formal_proof
数据类型: 字符串(string)
数据集划分:
- 划分名称: train
字节数: 1968536
样本数量: 4866
下载大小: 793404
数据集总大小: 1968536
- 配置名称: train_label
特征字段:
- 字段名: name
数据类型: 字符串(string)
- 字段名: informal_statement
数据类型: 字符串(string)
- 字段名: informal_proof
数据类型: 字符串(string)
数据集划分:
- 划分名称: train
字节数: 3110701
样本数量: 4866
下载大小: 1483248
数据集总大小: 3110701
配置项:
- 配置名称: train
数据文件:
- 划分: train
文件路径: train/train-*
- 配置名称: train_label
数据文件:
- 划分: train
文件路径: train_label/train-*
