UDACA/AF-split
收藏官方服务：
资源简介：
该数据集是DQ Round Trip Problem Selection电子表格中所有条目的集合，其中非正式声明列被连接到正式声明列的底部，并且删除了所有其他元数据。数据集中的statement字段包含Isabelle中的正式声明或非正式声明。语言为英语。
该数据集是DQ Round Trip Problem Selection电子表格中所有条目的集合，其中非正式声明列被连接到正式声明列的底部，并且删除了所有其他元数据。数据集中的statement字段包含Isabelle中的正式声明或非正式声明。语言为英语。
提供机构：
UDACA原始信息汇总
数据集概述
- 数据来源：该数据集整合了DQ Round Trip Problem Selection电子表格（链接：https://docs.google.com/spreadsheets/d/1dEWWzjuEXwf9s4II0CixH4sqopc1flIMFx19UjHiyNU/edit?usp=sharing&resourcekey=0-_G7oxmbh7szV5jx-HxhepQ）中的所有条目。
- 数据处理：将非正式声明列与正式声明列合并，并删除了所有其他元数据。
- 数据内容：
statement：包含正式声明（Isabelle语言）或非正式声明。
- 语言：英语（en）
