斯坦福大学 发布 EquiBench 数据集, 应用在 程序分析、代码推理 领域

斯坦福大学 本次发布的数据集 EquiBench, EquiBench是一个包含2400对程序的数据集，这些程序对涵盖了四种编程语言（Python、C、CUDA和x86-64汇编）和六个等价类别。该数据集通过程序分析、编译器调度和超优化技术自动生成，包含了要求深度语义推理的复杂结构转换。数据集旨在评估大型语言模型在代码推理方面的能力，特别是在等价性检查任务上。

查看EquiBench

关于 斯坦福大学 , 斯坦福大学是美国的一所私立研究型大学，位于加利福尼亚州的斯坦福，是美国硅谷的核心学术机构之一，以其在自然科学、工程、医学、商业、教育、法律等多个领域的卓越研究和教育水平闻名。

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