autores/DSP1.5RL-proofnet-sampling_16

--- dataset_info: features: - name: problem_name dtype: string - name: sample_info struct: - name: algorithm dtype: string - name: cost dtype: int64 - name: datetime dtype: string - name: formal_statement dtype: string - name: proof_code dtype: string - name: result dtype: string - name: status dtype: string splits: - name: all num_bytes: 24894861 num_examples: 5936 download_size: 6354258 dataset_size: 24894861 configs: - config_name: default data_files: - split: all path: data/all-* ---