ReactiveAI/algebraic-stack-fixed

1---2dataset_info:3- config_name: agda4  features:5  - name: text6    dtype: string7  splits:8  - name: train9    num_bytes: 8240663810    num_examples: 1743111  - name: validation12    num_bytes: 26104013    num_examples: 8814  download_size: 2928660715  dataset_size: 8266767816- config_name: c17  features:18  - name: text19    dtype: string20  splits:21  - name: train22    num_bytes: 274388485523    num_examples: 23664724  - name: validation25    num_bytes: 1392023526    num_examples: 119427  download_size: 77723267428  dataset_size: 275780509029- config_name: cpp30  features:31  - name: text32    dtype: string33  splits:34  - name: train35    num_bytes: 268284402036    num_examples: 23082737  - name: validation38    num_bytes: 1371650839    num_examples: 116540  download_size: 75664922841  dataset_size: 269656052842- config_name: fortran43  features:44  - name: text45    dtype: string46  splits:47  - name: train48    num_bytes: 174690165249    num_examples: 16199850  - name: validation51    num_bytes: 790171652    num_examples: 81853  download_size: 58791905354  dataset_size: 175480336855- config_name: gap56  features:57  - name: text58    dtype: string59  splits:60  - name: train61    num_bytes: 850076562    num_examples: 109263  - name: validation64    num_bytes: 3755365    num_examples: 566  download_size: 278003567  dataset_size: 853831868- config_name: github-MATLAB69  features:70  - name: text71    dtype: string72  splits:73  - name: train74    num_bytes: 17195601875    num_examples: 5000076  - name: validation77    num_bytes: 245507678    num_examples: 81779  download_size: 7709252980  dataset_size: 17441109481- config_name: github-coq82  features:83  - name: text84    dtype: string85  splits:86  - name: train87    num_bytes: 71258751688    num_examples: 5000089  - name: validation90    num_bytes: 919108391    num_examples: 51392  download_size: 23927469093  dataset_size: 72177859994- config_name: github-isabelle95  features:96  - name: text97    dtype: string98  splits:99  - name: train100    num_bytes: 791592753101    num_examples: 29644102  - name: validation103    num_bytes: 3979287104    num_examples: 149105  download_size: 229870022106  dataset_size: 795572040107- config_name: github-lean108  features:109  - name: text110    dtype: string111  splits:112  - name: train113    num_bytes: 486410895114    num_examples: 31934115  - name: validation116    num_bytes: 3731514117    num_examples: 161118  download_size: 157702209119  dataset_size: 490142409120- config_name: haskell121  features:122  - name: text123    dtype: string124  splits:125  - name: train126    num_bytes: 25746825127    num_examples: 3645128  - name: validation129    num_bytes: 84130130    num_examples: 18131  download_size: 9942356132  dataset_size: 25830955133- config_name: idris134  features:135  - name: text136    dtype: string137  splits:138  - name: train139    num_bytes: 30814799140    num_examples: 7975141  - name: validation142    num_bytes: 184870143    num_examples: 40144  download_size: 11128527145  dataset_size: 30999669146- config_name: julia147  features:148  - name: text149    dtype: string150  splits:151  - name: train152    num_bytes: 1285727684153    num_examples: 292883154  - name: validation155    num_bytes: 6431462156    num_examples: 1479157  download_size: 498544303158  dataset_size: 1292159146159- config_name: jupyter160  features:161  - name: text162    dtype: string163  splits:164  - name: train165    num_bytes: 464852993166    num_examples: 22513167  - name: validation168    num_bytes: 2131703169    num_examples: 113170  download_size: 196766092171  dataset_size: 466984696172- config_name: maple173  features:174  - name: text175    dtype: string176  splits:177  - name: train178    num_bytes: 4329999179    num_examples: 1175180  - name: validation181    num_bytes: 9118182    num_examples: 5183  download_size: 1806347184  dataset_size: 4339117185- config_name: python186  features:187  - name: text188    dtype: string189  splits:190  - name: train191    num_bytes: 4161535519192    num_examples: 500000193  - name: validation194    num_bytes: 84971283195    num_examples: 10573196  download_size: 1582459416197  dataset_size: 4246506802198- config_name: python_pt2199  features:200  - name: text201    dtype: string202  splits:203  - name: train204    num_bytes: 4135529917205    num_examples: 500000206  download_size: 1542964425207  dataset_size: 4135529917208- config_name: python_pt3209  features:210  - name: text211    dtype: string212  splits:213  - name: train214    num_bytes: 4146528862215    num_examples: 500000216  download_size: 1546846563217  dataset_size: 4146528862218- config_name: python_pt4219  features:220  - name: text221    dtype: string222  splits:223  - name: train224    num_bytes: 4919744359225    num_examples: 593503226  download_size: 1835382533227  dataset_size: 4919744359228- config_name: r229  features:230  - name: text231    dtype: string232  splits:233  - name: train234    num_bytes: 179106996235    num_examples: 37554236  - name: validation237    num_bytes: 893231238    num_examples: 189239  download_size: 69237163240  dataset_size: 180000227241- config_name: tex242  features:243  - name: text244    dtype: string245  splits:246  - name: train247    num_bytes: 1743053553248    num_examples: 105156249  - name: validation250    num_bytes: 10256885251    num_examples: 531252  download_size: 806238766253  dataset_size: 1753310438254configs:255- config_name: agda256  data_files:257  - split: train258    path: agda/train-*259  - split: validation260    path: agda/validation-*261- config_name: c262  data_files:263  - split: train264    path: c/train-*265  - split: validation266    path: c/validation-*267- config_name: cpp268  data_files:269  - split: train270    path: cpp/train-*271  - split: validation272    path: cpp/validation-*273- config_name: fortran274  data_files:275  - split: train276    path: fortran/train-*277  - split: validation278    path: fortran/validation-*279- config_name: gap280  data_files:281  - split: train282    path: gap/train-*283  - split: validation284    path: gap/validation-*285- config_name: github-MATLAB286  data_files:287  - split: train288    path: github-MATLAB/train-*289  - split: validation290    path: github-MATLAB/validation-*291- config_name: github-coq292  data_files:293  - split: train294    path: github-coq/train-*295  - split: validation296    path: github-coq/validation-*297- config_name: github-isabelle298  data_files:299  - split: train300    path: github-isabelle/train-*301  - split: validation302    path: github-isabelle/validation-*303- config_name: github-lean304  data_files:305  - split: train306    path: github-lean/train-*307  - split: validation308    path: github-lean/validation-*309- config_name: haskell310  data_files:311  - split: train312    path: haskell/train-*313  - split: validation314    path: haskell/validation-*315- config_name: idris316  data_files:317  - split: train318    path: idris/train-*319  - split: validation320    path: idris/validation-*321- config_name: julia322  data_files:323  - split: train324    path: julia/train-*325  - split: validation326    path: julia/validation-*327- config_name: jupyter328  data_files:329  - split: train330    path: jupyter/train-*331  - split: validation332    path: jupyter/validation-*333- config_name: maple334  data_files:335  - split: train336    path: maple/train-*337  - split: validation338    path: maple/validation-*339- config_name: python340  data_files:341  - split: train342    path: python/train-*343  - split: validation344    path: python/validation-*345- config_name: python_pt2346  data_files:347  - split: train348    path: python_pt2/train-*349- config_name: python_pt3350  data_files:351  - split: train352    path: python_pt3/train-*353- config_name: python_pt4354  data_files:355  - split: train356    path: python_pt4/train-*357- config_name: r358  data_files:359  - split: train360    path: r/train-*361  - split: validation362    path: r/validation-*363- config_name: tex364  data_files:365  - split: train366    path: tex/train-*367  - split: validation368    path: tex/validation-*369---370