德克萨斯大学奥斯汀分校发布VeriSoftBench数据集,应用在形式化验证、软件验证领域

德克萨斯大学奥斯汀分校本次发布的数据集VeriSoftBench,VeriSoftBench是由德克萨斯大学奥斯汀分校和纽约大学联合创建的Lean 4形式化验证基准数据集，包含500条从23个开源形式化方法仓库中提取的证明任务。该数据集独特地保留了原始项目的多模块结构和跨文件依赖关系，数据来源涵盖编译器验证、编程语言语义等领域。其构建过程通过严格筛选非平凡证明任务，并平衡难度指标与仓库类别分布。该数据集旨在评估大语言模型和专用证明器在软件验证场景下的性能，解决传统数学证明基准与真实项目验证任务间的泛化鸿沟问题。

查看VeriSoftBench

README内容：

关于德克萨斯大学奥斯汀分校,德克萨斯大学奥斯汀分校（University of Texas at Austin）是德克萨斯大学系统的旗舰校区，位于美国德克萨斯州首府奥斯汀市。该校成立于1883年，是一所世界顶尖的公立研究型大学，以其在工程、商科、法律和教育等领域的卓越表现而闻名。

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