加州大学圣地亚哥分校 发布 CoqStoq 数据集, 应用在 定理证明、自动化软件验证 领域

加州大学圣地亚哥分校 本次发布的数据集 CoqStoq, CoqStoq是由加州大学圣地亚哥分校等机构创建的一个用于Coq定理证明的大型数据集，包含2,226个开源Coq项目中的196,929个定理和2,225,515个证明步骤。数据集从GitHub上通过CoqPyt Python客户端挖掘而来，分为训练数据和评估基准。CoqStoq的创建旨在支持自动化软件验证中的定理证明，特别是通过检索增强生成（RAG）技术来提高证明效率。该数据集的应用领域主要集中在形式化验证和软件可靠性方面，旨在解决自动化证明生成中的效率和准确性问题。

查看CoqStoq

README 内容： 

关于 加州大学圣地亚哥分校 , 加州大学圣地亚哥分校是一所位于美国加州的公立研究型大学，以其在海洋科学、生物医学和计算机科学等领域的研究而闻名。

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