Ujan/math500_formal_prover
收藏Hugging Face2026-04-29 更新2026-05-03 收录
下载链接：
https://hf-mirror.com/datasets/Ujan/math500_formal_prover
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: q_nl
dtype: string
- name: answer
dtype: string
- name: solution
dtype: string
- name: subject
dtype: string
- name: level
dtype: int64
- name: q_fl
dtype: string
- name: header
dtype: string
splits:
- name: test
num_bytes: 312409
num_examples: 234
download_size: 104852
dataset_size: 312409
configs:
- config_name: default
data_files:
- split: test
path: data/test-*
---
提供机构：
Ujan
