AI-Math-TCS/tcs_dataset_v1
收藏Hugging Face2026-04-22 更新2026-04-26 收录
下载链接：
https://hf-mirror.com/datasets/AI-Math-TCS/tcs_dataset_v1
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: problem
dtype: string
- name: answer
dtype: string
- name: details
dtype: string
splits:
- name: proof_writing
num_bytes: 2649877
num_examples: 297
- name: proof_writing_refined
num_bytes: 2371443
num_examples: 250
- name: proof_strategy
num_bytes: 5874675
num_examples: 318
- name: proof_strategy_refined
num_bytes: 6640786
num_examples: 298
- name: find_lemma
num_bytes: 3279702
num_examples: 185
download_size: 9916269
dataset_size: 20816483
configs:
- config_name: default
data_files:
- split: proof_writing
path: data/proof_writing-*
- split: proof_writing_refined
path: data/proof_writing_refined-*
- split: proof_strategy
path: data/proof_strategy-*
- split: proof_strategy_refined
path: data/proof_strategy_refined-*
- split: find_lemma
path: data/find_lemma-*
---
提供机构：
AI-Math-TCS
