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-* ---