加州大学伯克利分校 发布 VERINA 数据集, 应用在 编程自动化、代码验证 领域

加州大学伯克利分校 本次发布的数据集 VERINA, VERINA是一个高质量的基准数据集，旨在全面评估代码、规范和证明的生成及其组合。它包含189个经过人工整理的Lean编程任务，具有详细的问题描述、参考实现、形式规范和广泛的测试套件。VERINA为评估可验证代码生成提供了一个严格和全面的平台，并揭示了当前最先进的语言模型在可验证代码生成方面的挑战。数据集涵盖了从规范引导的代码生成到端到端可验证代码生成的各种实际场景。

查看VERINA

Dataset card 内容： 

Files and versions 内容： 

关于 加州大学伯克利分校 , 加州大学伯克利分校（University of California, Berkeley），简称UC Berkeley或Berkeley，是位于美国加州伯克利市的一所公立研究型大学，是加州大学系统中最古老、最著名的一所大学，也是世界上最杰出的公立大学之一。该校在多个学术领域均处于领先地位，尤其在工程、计算机科学、商学、法学、环境科学等领域享有盛誉。

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