ricdomolm/numinamath-LEAN-trajs-850k
收藏官方服务：
资源简介：
--- dataset_info: features: - name: correct dtype: bool - name: response dtype: string - name: n_in dtype: int64 - name: n_out dtype: int64 - name: name dtype: string splits: - name: train num_bytes: 13303280044 num_examples: 852430 download_size: 2798779114 dataset_size: 13303280044 configs: - config_name: default data_files: - split: train path: data/train-* ---
提供机构：
ricdomolm
