lm-provers/ProofBench
收藏Hugging Face2026-01-09 更新2026-04-05 收录
下载链接：
https://hf-mirror.com/datasets/lm-provers/ProofBench
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: problem_id
dtype: string
- name: problem
dtype: string
- name: solution
dtype: string
- name: grading_scheme
dtype: string
splits:
- name: '24_25'
num_bytes: 630589
num_examples: 70
- name: other
num_bytes: 695537
num_examples: 75
- name: train
num_bytes: 1326126
num_examples: 145
download_size: 1332917
dataset_size: 2652252
configs:
- config_name: default
data_files:
- split: '24_25'
path: data/24_25-*
- split: other
path: data/other-*
- split: train
path: data/train-*
---
提供机构：
lm-provers
