本数据集为“Exploring the Verifiability of Code Generated by GitHub Copilot”研究项目的配套数据，包含GitHub Copilot生成的Python代码实现，以及将其转换为Dafny语言并尝试验证的相关内容，用于研究代码生成工具的输出可验证性。
本数据集为“Jaime Andrés Rodríguez”植物标本馆（LEB）维管植物收藏的标本数据，包含与采集者、鉴定者的关联信息，由志愿者通过Bionomia平台基于GBIF聚合的标本数据生成，以Frictionless Data数据包格式组织，共包含九个文件。 Global Biodiversity Information Facility（GBIF）数据集（编号：7b74be32-f762
本数据集为论文“东西伯利亚北极陆架PCB积累的生物地球化学控制”的补充材料，包含东西伯利亚海、楚科奇海表层沉积物中209种PCB同系物浓度、采样站沉积物参数、方法检出限，以及白令海沉积物岩心（0-12cm）的PCB浓度数据，共4个文件。 论文“Biogeochemical controls on PCB accumulation in the East Siberian Arctic Shelf”
