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
