AlgorithmicResearchGroup/math_reasoning_autoformalization_track
收藏Hugging Face2024-09-17 更新2025-04-08 收录
下载链接：
https://hf-mirror.com/datasets/AlgorithmicResearchGroup/math_reasoning_autoformalization_track
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: name
dtype: string
- name: informal_statement
dtype: string
- name: informal_proof
dtype: string
- name: formal_proof
dtype: string
splits:
- name: train
num_bytes: 3879928.1923698024
num_examples: 3963
download_size: 1786642
dataset_size: 3879928.1923698024
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
数据集信息：
特征字段：
- 字段名：name，数据类型：字符串（string）
- 字段名：informal_statement，数据类型：字符串（string）
- 字段名：informal_proof，数据类型：字符串（string）
- 字段名：formal_proof，数据类型：字符串（string）
数据集拆分：
- 拆分名：训练集（train），字节数：3879928.1923698024，样本数量：3963
下载大小：1786642
数据集总大小：3879928.1923698024
配置项：
- 配置名称：default，数据文件：
- 拆分：训练集（train），路径：data/train-*
