UDACA/AF-with-metaData
收藏Hugging Face2024-03-17 更新2024-06-22 收录
下载链接：
https://hf-mirror.com/datasets/UDACA/AF-with-metaData
下载链接
链接失效反馈官方服务：
资源简介：
---
size_categories:
- 1K<n<10K
---
### About
This dataset is an amalgamation of every entry of the DQ Round Trip Problem Selection spreadsheet (https://docs.google.com/spreadsheets/d/1dEWWzjuEXwf9s4II0CixH4sqopc1flIMFx19UjHiyNU/edit?usp=sharing&resourcekey=0-_G7oxmbh7szV5jx-HxhepQ)
with the addition of a Text column containing
### Data Fields
- `link`: A hyperlink to the source where the entry was pulled from
- 'formal statement': in Isabelle
- `text`: The text entry contains the sample with the structure : The Formal Statement is: ______ The Informal Statement is: _______
language:
- en
size_categories:
- 1K<n<10K
---
提供机构：
UDACA
原始信息汇总
数据集概述
数据集简介
该数据集是DQ Round Trip Problem Selection电子表格中所有条目的汇总，包含一个文本列。
数据字段
link: 条目来源的超链接formal statement: 以Isabelle形式表示的正式声明text: 文本条目，包含以下结构：“The Formal Statement is: ______ The Informal Statement is: _______”
语言
- 英语（en）
数据规模
- 1K<n<10K
