oscarlaird/synthetic_isabelle
收藏Hugging Face2023-12-04 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/oscarlaird/synthetic_isabelle
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: text
dtype: string
splits:
- name: train
num_bytes: 134768
num_examples: 100
download_size: 57094
dataset_size: 134768
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
---
提供机构：
oscarlaird
原始信息汇总
数据集信息
特征
- 名称: text
- 数据类型: string
数据分割
- 名称: train
- 字节数: 134768
- 样本数: 100
数据大小
- 下载大小: 57094
- 数据集大小: 134768
配置
- 配置名称: default
- 数据文件:
- 分割: train
- 路径: data/train-*
