Slim205/mathlib_RL_eval_complexity

1---2dataset_info:3  features:4  - name: Context5    dtype: string6  - name: file_name7    dtype: string8  - name: start9    dtype: int6410  - name: end11    dtype: int6412  - name: theorem13    dtype: string14  - name: proof15    dtype: string16  - name: eval_complexity17    dtype: float6418  splits:19  - name: train20    num_bytes: 28069878.021    num_examples: 1030122  - name: test23    num_bytes: 170932024    num_examples: 60725  download_size: 1292378826  dataset_size: 29779198.027configs:28- config_name: default29  data_files:30  - split: train31    path: data/train-*32  - split: test33    path: data/test-*34---35