德克萨斯大学达拉斯分校 发布 VERT 数据集, 应用在 硬件描述语言、机器学习 领域

德克萨斯大学达拉斯分校 本次发布的数据集 VERT, VERT是一个开源的数据集，由德克萨斯大学达拉斯分校和英特尔公司的研究人员共同创建，旨在提高大型语言模型对SystemVerilog断言生成的能力。该数据集通过系统性地增强开源硬件描述语言仓库中的变量，生成合成的代码片段及其对应的断言，支持学术界和工业界研究人员对开源模型进行微调，以超越大型专有模型在准确性和效率方面的表现，同时确保数据隐私和降低成本。

查看VERT

关于 德克萨斯大学达拉斯分校 , 德克萨斯大学达拉斯分校是美国德克萨斯大学系统中的一员，位于德克萨斯州的理查德森。该校成立于1969年，提供多个学科的教育和研究项目，尤其在工程、计算机科学、自然科学等领域享有较高的声誉。

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