东南大学 发布 ASPBench 数据集, 应用在 答案集编程、模型评估 领域

东南大学 本次发布的数据集 ASPBench, ASPBench是一个全面的ASP基准数据集，由东南大学计算机科学与工程学院的学者提出，旨在评估大型语言模型在ASP推理任务上的能力。数据集包括三个特定于ASP的任务：ASP蕴涵、答案集验证和答案集计算。ASPBench支持多个答案集，更广泛的ASP运算符，并引入了三个不同的ASP评估任务。数据集由合成数据和来自公共来源的真实世界ASP程序组成，旨在填补当前LLM在ASP推理任务评估方面的空白。

查看ASPBench

README 内容： 

关于 东南大学 , 东南大学是位于江苏省南京市的一所综合性全国重点大学，是中国著名的工程教育机构之一，拥有多个学科领域的研究实力。

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