UDACA/AF-split
收藏Hugging Face2024-03-17 更新2024-06-11 收录
下载链接：
https://hf-mirror.com/datasets/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）
