AI Sweden 发布 CASP 数据集, 应用在 软件验证、形式化验证 领域

AI Sweden 本次发布的数据集 CASP, CASP数据集是一个针对C代码形式化验证的评估数据集，包含506对用ANSI/ISO C规范语言（ACSL）编写的形式化规范和相应的C代码。该数据集由AI Sweden、Scania和KTH皇家理工学院的研究人员创建，旨在填补现有数据集在规模和多样性方面的不足，并支持对大型语言模型（LLMs）在代码生成和验证方面的性能进行基准测试。数据集内容丰富，涵盖了从大型开源数据集中提取的C代码及其形式化规范，每个规范-实现对都经过形式化验证。CASP数据集为研究人员提供了一个宝贵的资源，用于训练和评估LLMs在从代码生成规范和反之亦然方面的能力，从而推动软件验证工具的发展，促进更可靠软件系统的创建。

查看CASP

Dataset card 内容： 

Files and versions 内容： 

关于 AI Sweden , -_simple

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。