five

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
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作