Models and data for coq-proof-difficulty

Name: Models and data for coq-proof-difficulty
Creator: Zenodo
Published: 2023-02-03 05:54:45
License: 暂无描述

Zenodo2023-02-03 更新2026-05-26 收录

下载链接：

https://zenodo.org/record/7601730

下载链接

链接失效反馈

官方服务：

资源简介：

Models and data for the coq-proof-difficulty project.

提供机构：

Zenodo

创建时间：

2023-02-03

Models and data for coq-proof-difficulty

Models and data for the coq-proof-difficulty project.

NIAID Data Ecosystem20

coq-facts-props-proofs

本数据集名为‘coq-facts-props-proofs’，由德国亚琛的弗洛纳特尔有限公司 & 公司创建，旨在提升大型语言模型（LLMs）在Coq代码理解和生成方面的能力。该数据集包含超过10,000个Coq源文件，涵盖广泛的命题、证明和定义，并附带元数据，如来源引用和许可信息。数据集的创建过程涉及从多个在线源精心收集Coq源文件，并使用定制的OCaml解析器进行预处理，以分离Coq句子、移除注

arXiv2024-04-02 更新120

CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark

CoqStoq is a dataset of Coq Proofs scraped from GitHub. CoqStoq contains proofs from 2,205 open source projects and includes a benchmark on proofs from 12 projects. This repository includes the projec

Zenodo2025-06-26 更新00

Models and data for coq-proof-difficulty

Models and data for the coq-proof-difficulty project.

Zenodo2023-02-03 更新30

CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark

Zenodo2025-06-27 更新00